if (url.getProtocol().equals("file")) {
String file = url.getFile();
file = file.replaceAll("%20", " ");
//file = file.substring(1);
new FileLauncher(file).launch();
} else if (query == null || !query.contains("module=")) {
try {
URLLauncher launcher = new URLLauncher(url);
launcher.launch();
} catch (Exception exp) {