Update developer documentation for Eclipse