Revert "update to red eclipse svn rev 5119"

This reverts commit 413324ecf181e8f321b65de5d9011cd3c0820e88.