String filename = normalize(file.getFilename());
String extension = normalize(file.getExtension());
file.enforceDotDelimiter(FORCE_DOT_DELIMITER);
if (filename.length() == 0 && extension.length() == 0) {
throw new HandlerException(getID() + ": Empty file name encountered.");
}
if (file.enforces8plus3()) {
if (filename.length() > 8) {
filename = filename.substring(0, 8);