aranea - Revision 2257: /trunk/java/ch.ethz.origo.aranea.test.messages/src-gen-eiffel