fix import of Server class