/ ‘RegexNFA.java’