static String sanitizeFileName(String s) {
        return s.trim().replace('\\', '.').replaceAll("[/,;]", ".");
    }
Kills the JVM if the application is unable to shutdown before deadline.

@author bjorncs
container-disc/src/main/java/com/yahoo/container/jdisc/ShutdownDeadline.java