Some fixes in Campaign.java