Regenerated JavaDoc after changes -- just in case