code: public String getNavText() {
  
          if (m_text == null) {
              // use "lazy initializing"
              m_text = getProperties().get(CmsPropertyDefinition.PROPERTY_NAVTEXT);
              if (m_text == null) {
                  m_text = CmsMessages.formatUnknownKey(CmsPropertyDefinition.PROPERTY_NAVTEXT);
              }
          }
          return m_text;
      }
docs: Returns the value of the property PROPERTY_NAVTEXT of this navigation element,
  or a warning message if this property is not set
  (this method will never return <code>null</code>).<p>
  
  @return the value of the property PROPERTY_NAVTEXT of this navigation element,
  or a warning message if this property is not set
  (this method will never return <code>null</code>)