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