Now using Java SE7 for the prover also.