updated SBMLPlugin.java