fix java manual