Fixed path to eclipse.ini
Made field final to emphasize that its value must not change