Possible open source resting place for the CoDev collaborative programming project