little java doc addition