Build with 1.7 in the hope that jenkins doesn't crash to OOM