/** Check if the user is permitted to update the given ramp meter */
 private boolean isUpdatePermitted(RampMeter rm) {
   return session.isUpdatePermitted(rm, "rateNext") && session.isUpdatePermitted(rm, "mLock");
 }
 /** Check if the user is permitted to use the form */
 public static boolean isPermitted(Session s) {
   return s.isUpdatePermitted(User.SONAR_TYPE)
       || s.isUpdatePermitted(Role.SONAR_TYPE)
       || s.isUpdatePermitted(Capability.SONAR_TYPE)
       || s.isUpdatePermitted(Privilege.SONAR_TYPE);
 }