Use bigger heap for the TCK run