system properties for java 1.7