Jenkins jobs are fixed for Rat

[Dennis Lundberg]

Hi,

I've changed our Jenkins jobs for Rat, so that they now use Java 6.
That made our builds succeed again.

-- 
Dennis Lundberg