Added verification of Java format strings