Adding missing Java 7 properties