path= path + File.pathSeparator + token;
path= path + File.separator + token;
	private String getPluginDirectory() {				// Get some path inside a plug-in		String filePath= toLocation(getClass().getResource("ignoreFiles.txt"));		StringTokenizer tokenizer= new StringTokenizer(filePath, File.pathSeparator);		String path= tokenizer.nextToken();		while (tokenizer.hasMoreTokens()) {			String token= tokenizer.nextToken();			if (token.equals("bin"))				break;						path= path + File.pathSeparator + token; 		}		return path + File.pathSeparator;	}