Bug: NetConfig() incompatible with VatTPMgr

I tried this and was surprised to find it fail:

   ? introducer.setNetConfig(<import:net.vattp.data.makeNetConfig>())
   ? introducer.onTheAir()
   # problem: <NullPointerException>

NetConfig.java:
     public NetConfig() {
         this(ConstList.EmptyList, ConstList.EmptyList, null);
     }


VatTPMgr.java:
         ConstList listenPath = netConfig.getListenAddrPath();
         if (0 == listenPath.size()) {
             listenPath = listenPath.with(null);
         }

The ordinary NetConfig construction (NetConfig.make) always puts a  
(possibly empty) ConstList in listenAddrPath. Should the no-args  
constructor do the same thing, or is there an intended semantic  
distinction from having an empty list vs. no list?

-- 
Kevin Reid                                  <http://switchb.org/kpreid/>