Merge commit 'cdddf55c' (1.7.1)

.github/workflows/main.yml

.jenkins.groovy

general/docs/changelogs/ch1_7_1.md

general/docs/changelogs/gh-1_7_1.jq

general/ide/TLA.setup

pom.xml

tlatools/org.lamport.tlatools/ossrh.xml

tlatools/org.lamport.tlatools/src/pcal/PcalParams.java

tlatools/org.lamport.tlatools/src/pcal/Translator.java

...ols/org.lamport.tlatools/src/pcal/ValidationCallBack.java

tlatools/org.lamport.tlatools/src/pcal/Validator.java

tlatools/org.lamport.tlatools/src/pcal/trans.java

tlatools/org.lamport.tlatools/src/tla2sany/drivers/SANY.java

...rg.lamport.tlatools/src/tla2sany/modanalyzer/SpecObj.java

...ls/org.lamport.tlatools/src/tla2sany/semantic/AtNode.java

tlatools/org.lamport.tlatools/src/tla2tex/LaTeXOutput.java

tlatools/org.lamport.tlatools/src/tla2tex/PosAndCol.java

tlatools/org.lamport.tlatools/src/tlc2/TLC.java

tlatools/org.lamport.tlatools/src/tlc2/TLCGlobals.java

tlatools/org.lamport.tlatools/src/tlc2/module/TLC.java