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

SanityCheck.jar

devTools/javaSanityCheck/excluded

devTools/javaSanityCheck/htmlTags

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

devTools/javaSanityCheck/twineTags

sanityCheck-java

sanityCheck-java.bat