public void set_library_name(String libraryname) { Library.set_libraryname(this.fullname, this.slot, libraryname); }