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