more java documentation