/EDRankingProtocol.java/1.1/Wed Oct  6 15:08:39 2010//
/FingerObserver.java/1.1/Wed Oct  6 15:08:39 2010//
/Ranking.java/1.1/Wed Oct  6 15:08:39 2010//
/RankingObserver.java/1.1/Wed Oct  6 15:08:39 2010//
/RankingProtocol.java/1.1/Wed Oct  6 15:08:39 2010//
/UpdateRanking.java/1.1/Wed Oct  6 15:08:39 2010//
