added a test in ProposalsTest.java