22322233223422352236223722382239224022412242
urlEncoder.addSafeCharacter('~'); urlEncoder.addSafeCharacter('\''); urlEncoder.addSafeCharacter('('); urlEncoder.addSafeCharacter(')'); return new URL(urlEncoder.encode(realFile.toURL().toString())); } /** * Log a debugging output message.
20432044204520462047204820492050205120522053
22312232223322342235223622372238223922402241