code: public String getResultListHeight() {
  
          if ((getChangedResources() != null) && (getChangedResources().size() > 0)) {
              int height = getChangedResources().size() * 14;
              if (height > 300) {
                  height = 300;
              }
              return "" + height;
          } else {
              return "14";
          }
      }
docs: Returns the height for the result list of changed resources.<p>
  
  @return the height for the result list of changed resources