The eclipse workspace for CCS