JavaDoc finetuning
JavaDoc