100644 blob d7cec1d7b31d35f81121bf7116ac7889d6571e28	HTMLColorPage.java
100644 blob 5b08e97105c47b30af3b88cf1a755237b8d9a1b4	HTMLFilesPreferencePage.java
100644 blob 989527f78e703e7ae51fd1ae019c45bb50f01f76	HTMLSourcePreferencePage.java
100644 blob f495fe9768381bc77ab8ef4f0f471c117949caa7	HTMLTemplatePreferencePage.java