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