code: public Source loadSource(Package lastPackage, String l, boolean is_generated) {
          Source s = Source.load(lastPackage, l, is_generated);
          lastPackage.addSource(s);
          sources.put(s.name(), s);
          return s;
      }
docs: Load a source from the javac state file.