100644 blob 11cb1d09d40ba8ccfcfdc0dfc7dd749fd6c0e0e3	HTMLCompletionProposalCategoriesConfiguration.java
100644 blob bc91ec69a731e2ba3759bbfed1beb40d9aa18d2b	HTMLUIPreferenceInitializer.java
100644 blob 5a060963abfee0975a5d67578093d3aaae5c0a9d	HTMLUIPreferenceNames.java
040000 tree be33a38c07ea4a8f96ca053ecdc99e6e8742dc6b	ui