#Fri Apr 16 19:14:40 EST 2010
eclipse.preferences.version=1
encoding//.processed/src/terminal/LCDFont.java=UTF-8
encoding//.processed/src/terminal/MyRecordStore.java=UTF-8
encoding//.processed/src/terminal/Settings.java=UTF-8
encoding//.processed/src/terminal/Terminal.java=UTF-8
encoding//.processed/src/terminal/VT320.java=UTF-8
encoding//.processed/src/zmachine/ZCPU.java=UTF-8
encoding//.processed/src/zmachine/ZCallFrame.java=UTF-8
encoding//.processed/src/zmachine/ZIOCard.java=UTF-8
encoding//.processed/src/zmachine/ZMemory.java=UTF-8
encoding//.processed/src/zmachine/ZObjectTable.java=UTF-8
encoding//.processed/src/zmachine/ZRandom.java=UTF-8
encoding//.processed/src/zmachine/ZUserInterface.java=UTF-8
encoding//.processed/src/zmachine/ui/FileDialog.java=UTF-8
encoding//.processed/src/zmachine/ui/SettingsForm.java=UTF-8
encoding//.processed/src/zmachine/ui/StringTokenizer.java=UTF-8
encoding//.processed/src/zmachine/ui/ZaxMidlet.java=UTF-8
encoding//.processed/src/zmachine/ui/ZaxSettings.java=UTF-8