updated SBMLPlugin