Package: openjdk-7-jre

"openjdk-7-jre" package binaries on Debian:

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

You may install this package on Debian with apt-get install openjdk-7-jre