Tag: how to change jre for eclipse