This is part of the code documentation for JFLAP 4.0.