public void close() throws NamingException {
   ctx.close();
 }
 public Object lookup(String name) throws NamingException {
   if (name.startsWith("@subcontext@"))
     name = name.substring("@subcontext@/".length()); // sync with heading doc
   return ctx.lookup(name);
 }