code for fixing JSBML bug removed