} catch (IOException e) {
// Ignore
}
//return new URL("file:" + realFile.getPath());
URLEncoder urlEncoder = new URLEncoder();
urlEncoder.addSafeCharacter(',');
urlEncoder.addSafeCharacter(':');
urlEncoder.addSafeCharacter('-');
urlEncoder.addSafeCharacter('_');
urlEncoder.addSafeCharacter('.');
urlEncoder.addSafeCharacter('*');
urlEncoder.addSafeCharacter('/');
urlEncoder.addSafeCharacter('!');
urlEncoder.addSafeCharacter('~');
urlEncoder.addSafeCharacter('\'');
urlEncoder.addSafeCharacter('(');
urlEncoder.addSafeCharacter(')');
return new URL(urlEncoder.encode(realFile.toURL().toString()));
}