How do I change the JRE (for example, to go from a from 64bit to 32bit version) that is used to run ant from inside eclipse?