public List emptyList() { if (m_emptyList == null) m_emptyList = (List)new List(this, 0).toImmutable(); return m_emptyList; }