Added translator for ltlfo2mon; fixed warnings in code
Added translator for BeepBeep 1.5
Corrections after running FindBugs on code