protected static String sanitizeFileExtension ( String fileTypeExtension ) throws OSException { // Remove whitespaces String newFileTypeExtension = fileTypeExtension . replaceAll ( "\\s+" , "" ) ; // to lower case newFileTypeExtension = newFileTypeExtension . toLowerCase ( ) ; /* * Check if name contains multiple dots and if so, just take the last * part. Also adds a dot before last part. */ String [ ] splittedFileExtension = newFileTypeExtension . split ( "\\." ) ; if ( newFileTypeExtension . length ( ) == 0 || splittedFileExtension . length == 0 ) { throw new OSException ( "The given file extension \"" + fileTypeExtension + "\" is too short." ) ; } newFileTypeExtension = "." + splittedFileExtension [ splittedFileExtension . length - 1 ] ; return newFileTypeExtension ; }
Sanitizes file extension such that it can be used in the Windows Registry .