Add milestone 4

See CabraECLIPSE to see the code source after refactoring and the
commits to see the patchsets description,