eclipse.preferences.version=1
encoding//workspace/AttachedJavadocProject/UTF8doc=UTF-8
encoding//workspace/AttachedJavadocProject/UTF8doc/p/TestBug394382.txt=UTF-8
encoding//workspace/Encoding/src/testUTF8/Test.java=UTF-8