Use our e4tools repository for compatibility with Eclipse 4.3.2