A few java doc things