Just a bug caused by isEquals method in Proposal.java