100644 blob 836be12df41833063a23d88ce92848b6d6cdde13	DTDColorPage.java
100644 blob eb4ae92706be87bc57c8a3293ddd6ff426978e09	DTDFilesPreferencePage.java
100644 blob 9e8e4383f047d6bd25f67b8148e5e617ecdd68fb	DTDUIPreferenceInitializer.java