NFA.toJavaCode added for testing.