docs: public List<User> getAllUsers() {
          List<User> r = new ArrayList<User>();
          for (User u : User.getAll()) {
              if(u.getProperty(Details.class)!=null)
                  r.add(u);
          }
          Collections.sort(r);
          return r;
      }