A library to use Android API with Eiffel