Delete HTMLDoc.class