Hi all,
Just a quick note to inform you that since we move to 4.2, we'll
probably meet some issues with some SWTBot cases: see
https://bugs.eclipse.org/bugs/show_bug.cgi?id=375598 . We'll
probably have to contribute to SWTBot as we are moving to 4.2.
Cheers,