Merge branch 'pregmod-master' into 'pregmod-master'

devTools/javaSanityCheck/src/DisallowedTagException.java

devTools/javaSanityCheck/src/Main.java

devTools/javaSanityCheck/src/SyntaxError.java

devTools/javaSanityCheck/src/Tag.java

devTools/javaSanityCheck/src/TagSearchTree.java

devTools/javaSanityCheck/src/UnknownStateException.java

...ools/javaSanityCheck/src/element/AngleBracketElement.java

devTools/javaSanityCheck/src/element/AtElement.java

devTools/javaSanityCheck/src/element/CommentElement.java

devTools/javaSanityCheck/src/element/Element.java

devTools/javaSanityCheck/src/element/KnownElement.java

devTools/javaSanityCheck/src/element/KnownHtmlElement.java

devTools/javaSanityCheck/src/element/KnownLogicElement.java

devTools/javaSanityCheck/src/element/KnownTwineElement.java

src/js/slaveStatsChecker.js