Package Eiffel2Java