This val is never used. The computation done for its value seems to have been moved in `Diagnostic.eclipseIni`.