The files of the formal specification are organized following the functional decomposition presented in the command menubar and outlined in the developer overview. At this abstract stage of development, there is one file for each major fucntional category. As the specification evolves into the design, the specification will be packaged, and each class will go into its own .java file, as is the standard convention in Java.
These files are located in the specification project directory. There javadoc subdirectory with the generated model documentation. the clases in the model.