auto
/usr/bin/servertool
servertool.1.gz
/usr/share/man/man1/servertool.1.gz

/usr/lib/jvm/java-6-openjdk/jre/bin/servertool
1057
/usr/lib/jvm/java-6-openjdk/jre/man/man1/servertool.1.gz

