} else { this.polishLibPath = null;
	public LibraryManager( Map antProperties, String projectLibPath, String wtkHomePath, String preverifyPath, InputStream is) 	throws JDOMException, IOException, InvalidComponentException 	{		if (wtkHomePath == null) {			int pos = preverifyPath.lastIndexOf( File.separatorChar );			wtkHomePath = preverifyPath.substring(0, pos );			pos = preverifyPath.lastIndexOf( File.separatorChar );			wtkHomePath = preverifyPath.substring(0, pos );		} else if (wtkHomePath.endsWith( File.separator )) {			wtkHomePath = wtkHomePath.substring(0, wtkHomePath.length() -1 );		}		if (!projectLibPath.endsWith( File.separator )) {			projectLibPath += File.separator;		}		this.antProperties = antProperties;		this.projectLibPath = projectLibPath;		this.wtkLibPath = wtkHomePath + File.separatorChar + "lib" + File.separatorChar;		String polishHomeProperty = (String) antProperties.get("polish.home");		if (polishHomeProperty != null) {			this.polishLibPath = polishHomeProperty + File.separatorChar + "import" + File.separatorChar;		}		loadLibraries( is );	}