202412190152

Fall back to TLA+ definition if Java module override of

`SequencesExt!ReplaceFirstSubSeq` cannot load Apache Commons Lang3
StringUtils class.

(Not done for `ReplaceAllSubSeqs` because the TLA+ def fails because it
involves `DOMAIN str` that TLC doesn't handle)

[Refactor]

Signed-off-by: Markus Alexander Kuppe <[email protected]>