100644 blob 26079187f73e930cd7c7d03867836753d5b8d3f7	HTMLColorPage.java
100644 blob 19b12fa57a89489a74b06fcf07aa0fe5419e85fd	HTMLFilesPreferencePage.java
100644 blob d6d37f91476f2da9deec68e222b8fbe6068ebad4	HTMLSourcePreferencePage.java
100644 blob f495fe9768381bc77ab8ef4f0f471c117949caa7	HTMLTemplatePreferencePage.java