And, for completeness, after performing a local build:
# apt-get install icedtea-java7-jdk # apt-get build-dep icedtea-java7-plugin # apt-get -b source icedtea-java7-plugin icedtea-java7-bin icedtea-java7-jre icedtea-java7-jdk # dpkg -i icedtea-java7*.deb
the same page works fine.
And, for completeness, after performing a local build:
# apt-get install icedtea-java7-jdk java7-plugin java7-plugin icedtea-java7-bin icedtea-java7-jre icedtea-java7-jdk
# apt-get build-dep icedtea-
# apt-get -b source icedtea-
# dpkg -i icedtea-java7*.deb
the same page works fine.