Finished Javadoc specs