Documentation for JavaLite libraries