Minor fixes to Javadoc on IPermissionObject