improved pg-interfaces javadocs; added a OptionalMethodVerifier interface