Re: Distributed co-operative theorem proving, anyone? - was Java