JavaDoc regenerated, some minor corrections.