Migration from CSP4J to Concrete