Implementation for anteater4eclipse