Javadoc updates
PermissionsSet: make final