FileTool.copy(new File(ORIG_FILE), new File(textPrefix + i + FILE_SUFFIX));
FileTool.copy(new File(src), new File(destPrefix + i + FILE_SUFFIX));
	public static void setUpWorkspace() throws IOException {		String workspacePath= ResourcesPlugin.getWorkspace().getRoot().getLocation().toString() + "/";		String textPrefix= workspacePath + OpenEditorTestSetup.PROJECT + PATH + FILE_PREFIX;		for (int i= 0; i < N_OF_COPIES; i++)			FileTool.copy(new File(ORIG_FILE), new File(textPrefix + i + FILE_SUFFIX));	}