用JML实现的一个MSN客户端一

这是一个用JML写的一个MSN的客户端。
项目名称 ：ZeusMSN
这原本是一个意大利人写的项目，在http://sourceforge.net上可以找到相关代码，我把它检出来导入进eclipse才发现属性和方法居然是意大利语，用了一天时间借着google才把大多数方法和属性名称翻译成了汉语，并添加了一些自已的注释。
原项目中只实现了很少的功能，甚至还有些错误的地方（修改过代码后才得以顺利跑起来），
在这里把修改过后的代码贴出来，希望大家可以一块学习。
版本号：ZeusMSN1.0
实现的功能：
1.根据账号和密码登录MSN；
2.显示联系人列表；
3.给一个好发送消息；

一直想写个IM的客户端，在网上也找了很多QQ的资料，可惜QQ不开放端口，只能在本机写个server和client逗自己玩。

这个小程序我会一直写下去，希望能把它做好....

未完.....