fix java manual too