Changing JRE options in eclipse