groovy

Add connection configuration options to URL.getText(), URL.newInputStream() and URL.newReader()