A bit more java doc improvements