+ ‘RegexNFA.java’