100644 blob 9c944f0c2698b9ea558356710271b36a3a4ac7d9	HTML40Namespace.java
100644 blob 5396cd65a4ae17e613e22aa0e613afd55bd9d7df	HTMLCMProperties.java
100644 blob 8bb687058e29ac82eb2f8b5a08fcd209bec429ed	HTMLFilesPreferenceNames.java
100644 blob a4cde9fa80f0f1ca015bc66ff8ce778ea51b4c19	HTMLFormatContraints.java
100644 blob 530c28d60d84ea1a5e6d5fc596729d4627a4b944	PreferenceNames.java
040000 tree 61d752d77a752bc04e1a163c8fa582790a65aec6	contenttype
040000 tree c6b164dee73651ae3b73ead40401d90ebfd5f065	text