added getLibrary() method to LibraryManager. This will be needed by GUI later