code: public static void addLibrary(final JobID jobID, final Path name, final long size, final DataInput in)
  			throws IOException {
  
  		final LibraryCacheManager lib = get();
  		lib.addLibraryInternal(jobID, name, size, in);
  	}
docs: Reads a library from the given input stream and adds it to the local library cache. The cache name of
  the library is determined by the checksum of the received data and cannot be specified manually.
  
  @param jobID
  the ID of the job the library data belongs to
  @param name
  the name of the library at the clients host
  @param size
  the size of the library to be read from the input stream
  @param in
  the data input stream
  @throws IOException
  thrown if the library cache manager could not be instantiated or an error occurred while reading the
  library data from the input stream