NFA.java