Linux users should install OpenJDK 7.

This fixes an issue with the black menu bar on Ubuntu.