Merge branch 'sanity' into 'pregmod-master'

compile_debug+sanityCheck.bat

compile_debug+sanityCheck_legacy.bat

devTools/dictionary_wholeWords.txt

devTools/javaSanityCheck/SanityCheck.jar

devTools/javaSanityCheck/info.txt

devTools/javaSanityCheck/sources.zip

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/BracketElement.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