fix java doc bugs