Update NFA.java