Use the new API of IvyDE