log("newline: " + newline, Project.MSG_VERBOSE);
	public boolean copyFile(		InputStream src,		File destFile,		FilterSetCollection filters)		throws IOException {		log(			"destFile.getName(): "				+ destFile.getName()				+ " this.getName(): "				+ this.getName(),			Project.MSG_VERBOSE);		if (destFile.exists()			&& destFile.isFile()			&& destFile.getName().equals(this.getName())) {			//these files only need an update when a new Version of WO is installed.			//A clean in that case is better.			//destFile.delete();			src.close();			return false;		}		if (destFile.exists() && destFile.isFile()) {			destFile.delete();		}		// ensure that parent dir of dest file exists!		// not using getParentFile method to stay 1.1 compat		File parent = new File(destFile.getParent());		if (!parent.exists()) {			parent.mkdirs();		}		if (filters != null && filters.hasFilters()) {			BufferedReader in = new BufferedReader(new InputStreamReader(src));			BufferedWriter out = new BufferedWriter(new FileWriter(destFile));			String newline = null;			String line = in.readLine();			while (line != null) {				if (line.length() == 0) {					out.newLine();				} else {					newline = filters.replaceTokens(line);					out.write(newline);					out.newLine();				}				line = in.readLine();			}			out.close();			in.close();		} else {			FileOutputStream out = new FileOutputStream(destFile);			byte[] buffer = new byte[8 * 1024];			int count = 0;			do {				out.write(buffer, 0, count);				count = src.read(buffer, 0, buffer.length);			} while (count != -1);			src.close();			out.close();		}		return destFile.getName().equals(this.getName());	}