Update sbteclipse plugin to latest version.
Make all FSM state change commands be terminal in branch.

FSM state change commands do not act like returns. Therefore the last
state change command placed will be the one followed. So when the
program is deciding to branch the state, the state change command
should be the last command in a specific branch decision before leaving
the case.