further java doc