Use proper IvyDE API