removing java doc HTML files