The eclipse open-development platform