JFLAP versions 4 onwards