Terence Parr schrieb: > * target's can now specify how to encode int as char escape. Moved > DFA.encodeIntAsCharEscape to Target. What is this option supposed to do? It's the first time I've seen it mentioned. Johannes