100644 blob 5d1a53a70329b12dac3ce5754a0faee94fb2adc6	HTML40Namespace.java
100644 blob 1d7a75395203181651701ea3a9a6a0437cf56d00	HTMLCMProperties.java
100644 blob 88bb2eab16fd1594be35e927e57a31511662a24f	HTMLFilesPreferenceNames.java
100644 blob db3217e206a92b87e122d335b1d8b5acfa6eb19c	HTMLFormatContraints.java
100644 blob 5d1018a9f34d84449535623326bf5f3ba171c04b	PreferenceNames.java
040000 tree 41f3fa24155f251c128eccdc3d7d7377f6834870	contenttype
040000 tree ce9d7138759294b239ae2649e07c7d88a7966b7b	text