Java 7 plugin