added an import to avoid feature warning in ILPConnector