Minor edit to IVerifierPlugin.java
Merge remote-tracking branch 'origin/coderevision' into coderevision