Adding JFLAP files