Fix for Intellij IDEA 12 with Java 1.7