I followed the instructions for Java 7 on that page and got it working. The problem was libjavaplugin.so was using the wrong java. That page gave the wrong code to set libjavaplugin.so.
alternatives --config libjavaplugin.so
which did not find any plugin.
alternatives --config libjavaplugin.so.x86_64
worked and let me select Java 7