Committed SBMLogout.java.