Set names = libraries.keySet(); return (String[]) names.toArray(new String[names.size()]);
return (String[]) libraryPaths.toArray(new String[libraryPaths.size()]);
		public String[] getLibrariesName() {			if (libraries == null)				return new String[0];			Set names = libraries.keySet();			return (String[]) names.toArray(new String[names.size()]);		}