else if(ext.equals("doc")) {
doc= WordDocument.getDocument(file);
}
}
else {
ContentTypeImpl ct = (ContentTypeImpl) ResourceUtil.getContentType(file);
String type = ct.getMimeType();
String c=ct.getCharset();
if(c!=null) charset=c;
//String type=ResourceUtil.getMimeType(file,"");
if(type==null) {}
// HTML
else if(type.equals("text/html")) {