/**
  * Method to filter platform from all given search parameters and to set the intern platform
  * value.
  */
 public void setParams(SearchParameterMap parameterMap) throws SearchException {
   Value val = parameterMap.get(KEY_PLATFORM);
   this.setPlatform(val.getParamValue());
 }
 /**
  * Method to serialize selected platform as map
  *
  * @return platforms as map
  */
 public SearchParameterMap getParams() {
   SearchParameterMap map = new SearchParameterMap();
   map.put(KEY_PLATFORM, map.new Value(this.getPlatform(), ""));
   return map;
 }