Re: [eclipse.org-planning-council] Finally, Bjorn runs the David-o-matic

[Bjorn Freeman-Benson <bjorn.freeman-benson@xxxxxxxxxxx>]

I re-ran the build again last night, but with the older JVMs so it still crashed a lot (internal errors). I am now working on moving to the new JVMs and will then let everyone know and then re-run the build. Stand by.

As of yesterday noon time, TPTP had updated the site.xml to remove the "url" attribute from the site.xml.  
Hubert had asked Bjorn to run the David-o-matic software again to pick up TPTP.  Do you know if this had happened, without success ? I haven't heard back from Bjorn on this

Unfortunately the JVM died on all the TPTP features - not your fault, but not useful to you.