code:     public String getName() {
          // Should we return the ID for the principal name? (No, because the
          // UaaUserDatabase retrieves users by name.)
          return principal.getName();
      }
  
      @Override
  