Update dev/eclipse.rst