CIEL bindings for the Java programming language