How is this to be done? Eclipse seems to be JDK 8 only, and it's not clear to me hos to switch the target VM. With "mx build", the first time you run it you get asked which VM to use, but never again. Thanks, Andrew.