public String getFileName() {

        if (m_fileName == null) {
            // use "lazy initializing"
            if (!m_sitePath.endsWith("/")) {
                m_fileName = m_sitePath.substring(m_sitePath.lastIndexOf("/") + 1, m_sitePath.length());
            } else {
                m_fileName = m_sitePath.substring(
                    m_sitePath.substring(0, m_sitePath.length() - 1).lastIndexOf("/") + 1,
                    m_sitePath.length());
            }
        }
        return m_fileName;
    }
public String getFileName ( ) { if ( m_fileName == null ) { if ( ! m_sitePath . endsWith ( "/" ) ) { m_fileName = m_sitePath . substring ( m_sitePath . lastIndexOf ( "/" ) + 1 , m_sitePath . length ( ) ) ; } else { m_fileName = m_sitePath . substring ( m_sitePath . substring ( 0 , m_sitePath . length ( ) - 1 ) . lastIndexOf ( "/" ) + 1 , m_sitePath . length ( ) ) ; } } return m_fileName ; }
Returns the filename of the navigation element, i.e.
the name of the navigation resource without any path information.<p>

@return the filename of the navigation element, i.e.
the name of the navigation resource without any path information