Moved to Java 7 source level