workspace.diagram.active = <oiref:design#Class#iddbln0ewq2zzktewq30q4o.diagram:oiref>
workspace.diagram.open.0 = <oiref:design#Class#iddbln0ewq2zzktewq30q4o.diagram:oiref>
workspace.editor.active = /export/home/i12pc5/pschmitt/projects/key/website/thebook/examples/05FormalSpecification/ATM_Example_OCL/ATM.java
workspace.editor.open.0 = /export/home/i12pc5/pschmitt/projects/key/website/thebook/examples/05FormalSpecification/ATM_Example_OCL/ATM.java