100644 blob c299dacce881d62752daf0d39bc13e6f91d50bca	HTMLColorPage.java
100644 blob c25acb2f10338ea113888507455fcbc4f1024535	HTMLFilesPreferencePage.java
100644 blob 4a72b9c977f20af63e43ff813e37094530f64d0c	HTMLSourcePreferencePage.java
100644 blob de6fa905a7b0cd86456894929b117a022c76c902	HTMLSyntaxColoringPage.java
100644 blob 60d0c85e16fe7b7f5dfdd41b5bb1f2f11c923bef	HTMLTemplatePreferencePage.java