It turns out that the ExtLib source is actually still distributed with the Notes client, but packaged up inside a bundle called com.ibm.xsp.extlib.feature.source. The generator could pull out the individual bundle sources into their own, so they would be recognized by Eclipse in a Target Platform without installing it into the IDE outright.