Use OpenJDK 7 on Ubuntu