[Pki-devel] [PATCH] 103 Merged pki-native-tools and pki-java-tools.

The pki-native-tools and pki-java-tools have been merged into pki-tools and pki-server will depend on it. Since pki-ra and pki-tps depends on pki-server they automatically depends on pki-tools as well. Ticket #295 -- Endi S. Dewata