Rename NFA to NFA.java