moved to Java7