Summary of changes: 09d3631... 808994: Update eclipse-gef to a recent version https://bugz (*) f0fab45... Update to Eclipse 4.2 and fix documentation (*) fd64acd... Generate documentation contents & reference API. (*) 149521e... Merge branch 'f17' (*) (*) This commit already existed in another branch; no separate mail sent