exportMask.addElement(value);
exportMask.addElement(value.trim());
	public void handleLibraryState(String elementName, Attributes attributes) {		if (elementName.equals(LIBRARY_EXPORT)) {			// Change State			stateStack.push(new Integer(LIBRARY_EXPORT_STATE));			// The top element on the stack much be a library element			String currentLib = (String) objectStack.peek();			if (attributes == null)				return;			String maskValue = attributes.getValue("", LIBRARY_EXPORT_MASK); //$NON-NLS-1$			// pop off the library - already in currentLib			objectStack.pop();			Vector exportMask = (Vector) objectStack.peek();			// push library back on			objectStack.push(currentLib);			//Split the export upfront			if (maskValue != null) {				StringTokenizer tok = new StringTokenizer(maskValue, ","); //$NON-NLS-1$				while (tok.hasMoreTokens()) {					String value = tok.nextToken();					if (!exportMask.contains(maskValue))						exportMask.addElement(value);				}			}			return;		}		stateStack.push(new Integer(IGNORED_ELEMENT_STATE));		return;	}