return "." + System.getProperty("file.separator") + srcFile.substring(base.length());
	private String convertToRelative(String srcFile, String base) {		// At present relative paths are only calculated if the fileName is		// below the project file. This need not be the case, and we could use ..		// syntax to move up the tree. (To Be Added)	  		String slash = System.getProperty("file.separator");		if (FILE_IGNORE_CASE) {			srcFile = srcFile.toLowerCase();			base = base.toLowerCase();		}		if (base.equals(srcFile))			return ".";					if (!base.endsWith(slash))			base = base + slash;		// Base directory pathname must be a prefix of the file		if (base.length() > srcFile.length())			return srcFile;		String root = srcFile.substring(0, base.length());		if (!root.equals(base))			return srcFile;		// Strip off the base directory, make relative		return "." + System.getProperty("file.separator") + srcFile.substring(base.length());	}