JDK 1.7 should be used