Minor edits to TestProperties.java