An eclipse plugin and server for cooperative development