Added JFlap4 NFA File output