Copied files used by ClaferIDE