document Set Java Tool Options to docs