docs: List<String> getNames() {
       if (addrList == null)
         return jmfNames;
  
       // Create a readonly list that extracts the 'names' information from the main list
       return new AbstractList<String>() {
         public int size() {
           return addrList.size();
         }
         public String get(int index) {
           return ((JsDestinationAddress)addrList.get(index)).getDestinationName();
         }
       };
     }