added eclipse-with-eclipse section