Merge branch 'pregmod-master' of https://gitgud.io/pregmodfan/fc-pregmod into dcoded-dev

SanityCheck.jar

devTools/javaSanityCheck/htmlTags

devTools/javaSanityCheck/info.txt

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

devTools/javaSanityCheck/src/element/KnownTwineElement.java

java+gitGrep-sanityCheck.sh

sanityCheck