toolchains = toolchainsReader.read( toolchainsSource.getInputStream(), options ); toolchains = toolchainsReader.read( toolchainsSource.getInputStream(), options );
settings = settingsReader.read( settingsSource.getInputStream(), options ); settings = settingsReader.read( settingsSource.getInputStream(), options );
settings = settingsReader.read( settingsSource.getInputStream(), options ); settings = settingsReader.read( settingsSource.getInputStream(), options );