For unknown reasons I don't get a pre-filled javadoc from eclipse for record types if I type ** a