return mimeType;
String s = mimeType;  if (s == null) s = MIMETypeUtil.MIMETypeForFile (file);  return s;
            public String getContentType (File file)            {                return mimeType;            }