Binary: servertool

Debian packages that has this binary:

Package: openjdk-7-dbg

/usr/lib/debug/usr/lib/jvm/java-7-openjdk-amd64/jre/bin/servertool

Package: openjdk-7-jre-headless

/usr/lib/jvm/java-7-openjdk-amd64/bin/servertool

/usr/lib/jvm/java-7-openjdk-amd64/jre/bin/servertool