docs: public List<String> getMappings(String elementName) {
  
          List<String> result = m_elementMappings.get(elementName);
          if (result == null) {
              result = Collections.emptyList();
          }
          return result;
      }