bugfix--prevent user from unchecking default journal on mysql page