Summary of changes: cdb7b97... 808994: Update eclipse-gef to a recent version https://bugz (*) 4b18d42... Update to Eclipse 4.2 and fix documentation (*) 149521e... Merge branch 'f17' (*) This commit already existed in another branch; no separate mail sent