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.
As of yesterday noon
time, TPTP had
updated the site.xml to remove the "url" attribute from the site.xml.
Unfortunately the JVM died on all the TPTP features - not your fault,
but not useful to you.
Hubert had asked Bjorn to run the
software again to pick up TPTP. Do you know if this had happened,
without success ? I haven't heard back from Bjorn on this