Fill in some java docs