Merge branch 'release/2.4.19' into develop
bump develop version
Added new helpers, tokens and productions to the LTL grammar for parsing quantified LTL-fromulas ( #id.(unparsed => ltl_formula),  !id.(unparsed => ltl_formula)).
Added a new state "identifier" in order to differentiate quantified identifiers from "true", "false", ....
Fixed grammar productions in scc. Removed the TOKEN state 'identifier'. Added three new unit tests which test the parser for the new grammar productions.
Added special handling for forall and exists tokens while lexing in the filter method.
Removed redundancy from last commit.
Added new prolog generator methods for the exists and forall ltl formulas + changed the appropriate unit tests to more sensible tests.
Changed grammar rule for the exists quantifier.
Added 'SF' and 'WF' for parsing strongly/weak fair conditions.
parse only allowed escape sequences
this is probably correct
added constructor for jni-queries
fix PROBCORE-413
Solves PROBPARSERS-22 When translating to ascii, checks to see if the character before the token in question is a letter. If it is a letter, and the operator also begins with a letter, a spaces is inserted.
Solves PARSERLIB-23 Identifies Prime (') as unallowed symbol before an operator that starts with a letter.
Try to get more information on broken build test.
Try to fix windows test
Another attempt at solving PARSERLIB-23
fix detection of nat1 and pow1 tokens in unicode translator