name=jpkg-java-7-se-jre
priority=1703
section=main

hl java /usr/lib/jvm/jpkg-java-7-se-jre/bin/java
hl keytool /usr/lib/jvm/jpkg-java-7-se-jre/bin/keytool
hl pack200 /usr/lib/jvm/jpkg-java-7-se-jre/bin/pack200
hl rmid /usr/lib/jvm/jpkg-java-7-se-jre/bin/rmid
hl rmiregistry /usr/lib/jvm/jpkg-java-7-se-jre/bin/rmiregistry
hl unpack200 /usr/lib/jvm/jpkg-java-7-se-jre/bin/unpack200
hl orbd /usr/lib/jvm/jpkg-java-7-se-jre/bin/orbd
hl servertool /usr/lib/jvm/jpkg-java-7-se-jre/bin/servertool
hl tnameserv /usr/lib/jvm/jpkg-java-7-se-jre/bin/tnameserv
hl jexec /usr/lib/jvm/jpkg-java-7-se-jre/lib/jexec
jre policytool /usr/lib/jvm/jpkg-java-7-se-jre/bin/policytool