Method FacetValueMap.getMapping misses the return

Smart GWT Technical Q&A
1

I think there is an error in smartgwtee-2.5, class FacetValueMap, method getMapping – return is missing:

   /**
   * Get the facetValue id for some facet id within this facet valueMap
   * @param facetId
   */
   public void getMapping(String facetId) {
          getAttributeAsString(facetId);
   }

Workaround
facetValueMap.getAttributeAsString(facetId);