added a comment in SBMLFormat.java