Introduce Okatea CS (via Eclipse)