Ubuntu 13.10 and OpenJDK 7