Javadocs on the Lib.java class