Update NFADFA.java