Java-doc for JSON Element