added: simple semi-randomized tests for Props.java
next: more tests