Update SBMLFormat.java

You have to import SBMLDocument class here.