fixed to javadoc comment in synthTest.java