Added options necessary for ClaferIDE