adds support for building the model of a program for which the classpath is incomplete

Don't you want to take the default values provided by the environment? It would give the possibility to override your default values.