open-source IDE for CodeMantis  http://www.codemantis.net/