class SanitizedFile extends File {

    public SanitizedFile(File parent, String name) {
        super(parent, sanitizeFileName(name));
    }

    public  SanitizedFile(File parent, String name);
    private  SanitizedFile(File file);

}