if (File.separatorChar != '/') urlPath = urlPath.replace('/', File.separatorChar); if (urlPath.indexOf(File.separatorChar) == 0) urlPath = urlPath.substring(1);
String getPath(String fileName) {	String urlPath;		String pluginPath = System.getProperty("PLUGIN_PATH");	System.out.println("PLUGIN_PATH <"+pluginPath+">");	if (pluginPath == null) urlPath = getClass().getClassLoader().getResource(fileName).getFile();	else urlPath = pluginPath + "/data/" + fileName;		System.out.println("Resolved file name for " + fileName + " = " + urlPath);	return urlPath;}