Fixed bug 124615: [misc] Restore editor selection when restarting eclipse
1 file changed