Eclipse IDE: Eclipse IDE based on Eclipse 4.2 and 4.3 (vogella series)