java 1.7 defined