[Project] Language=java Root.0=$PROJECT_DIR$ Root.0.access=writable Root.0.file_types=java_source;java_class;diagram Root.0.package_prefix=ATM_Example_OCL Root.1=$TGH$/lib/javax.jar Root.1.access=import Version=3.0 projectfile.encoding=UTF8 Project.JDK=/usr/lib/jvm/java-1.5.0-sun-1.5.0_07 Root.2=/usr/lib/jvm/java-1.5.0-sun-1.5.0_07/jre/lib/rt.jar Root.2.access=import Root.2.non_removable= debugger.SkipClass.0=,com.sun.*,1 debugger.SkipClass.1=,java.*,1 debugger.SkipClass.2=,javax.*,1 debugger.SkipClass.3=,org.omg.*,1 debugger.SkipClass.4=,sun.*,1 debugger.SmartStep=true [vcs] provider.class=CVS LAN [builder] userCompilingTool_enabled=false [compiler] cross-compilation_enabled=false [parser] java.java14syntax=false [jdkit] homedir=/usr/lib/jvm/java-1.5.0-sun-1.5.0_07 [workspace] Developer.ATM={{0,2,-1,0,0,0,0,1,0,1,1,50,75,32,-1,-1,-1,-1}${0,1,-1,0,0,0,0,1,0,1,0,50,75,32,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,50,50,32,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,50,50,32,-1,-1,-1,-1}${0,-1,-1,0,0,0,0,0,0,1,0,5,5,5,-1,-1,-1,-1}${0,4,-1,0,0,0,0,1,0,1,0,50,50,32,-1,-1,-1,-1}${0,0,-1,0,0,0,0,0,0,1,0,75,5,5,-1,-1,-1,-1}${0,7,-1,0,0,0,0,0,0,1,0,50,50,75,-1,-1,-1,-1}} Developer.CodingWorkspace={{0,2,-1,0,0,0,0,0,0,1,0,50,75,25,-1,-1,-1,-1}${0,1,-1,0,0,0,0,1,0,1,0,50,75,25,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,66,50,25,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,66,50,25,-1,-1,-1,-1}${0,-1,-1,0,0,0,0,0,0,1,0,5,5,5,-1,-1,-1,-1}${0,5,-1,0,0,0,0,0,0,1,0,50,50,25,-1,-1,-1,-1}${0,4,-1,0,0,0,0,1,0,1,1,66,50,25,-1,-1,-1,-1}${0,7,-1,0,0,0,0,0,0,1,0,50,50,75,-1,-1,-1,-1}} Developer.DebugWorkspace={{0,2,-1,0,0,0,0,0,0,1,0,50,75,25,-1,-1,-1,-1}${0,1,-1,0,0,0,0,1,0,1,1,50,75,25,-1,-1,-1,-1}${0,3,-1,0,0,0,0,0,0,1,0,50,50,25,-1,-1,-1,-1}${0,3,-1,0,0,0,0,0,0,1,0,50,50,25,-1,-1,-1,-1}${0,-1,-1,0,0,0,0,0,0,1,0,5,5,5,-1,-1,-1,-1}${0,4,-1,0,0,0,0,0,0,1,0,50,50,25,-1,-1,-1,-1}${0,0,-1,0,0,0,0,1,0,1,0,75,5,5,-1,-1,-1,-1}${0,7,-1,0,0,0,0,0,0,1,0,50,50,75,-1,-1,-1,-1}} Developer.DesignWorkspace={{0,2,-1,0,0,0,0,1,0,1,0,50,75,22,-1,-1,-1,-1}${0,1,-1,0,0,0,0,0,0,1,0,50,75,22,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,50,50,22,-1,-1,-1,-1}${0,3,-1,0,0,0,0,1,0,1,0,50,50,22,-1,-1,-1,-1}${0,-1,-1,0,0,0,0,0,0,1,0,5,5,5,-1,-1,-1,-1}${0,4,-1,0,0,0,0,1,0,1,1,50,50,22,-1,-1,-1,-1}${0,0,-1,0,0,0,0,0,0,1,0,75,5,5,-1,-1,-1,-1}${0,7,-1,0,0,0,0,0,0,1,0,50,50,75,-1,-1,-1,-1}} names.Developer={ATM,DesignWorkspace,CodingWorkspace,DebugWorkspace} [editor] recent.file.0=/export/home/i12pc5/pschmitt/projects/key/website/thebook/examples/05FormalSpecification/ATM_Example_OCL/ATM.java [lastOpenProjectName] Developer=ATM