public Map contents() { if (m_contents == null) { if (m_zipFile == null) return null; m_contents = contents(m_zipFile); } return m_contents.ro(); }