EBON architecture moving from Eiffel to JML/Java

We have decided to migrate the EBON architecture from Eiffel to JML-annotated Java to better integrate it with ongoing work in the Mobius project <http://mobius.inria.fr/>. Fintan Fairmichael and Dan Zimmerman, both project members, are helping with this effort during the Summer of 2007.

-Joe