more java docs correction, minor change.