Repository for DevElement.