else {  System.out.println("HTMLMapper warning: Datemapping not yet implemented!"); return new Date[]{new Date()}; }  }
    public Date[] getDate()    {//        Date[] date = {makeDate(((DMDTextNode)store_.getElement("/creation time")).get())};        return new Date[]{};    }