public String toString () {
    return "#GL"
      + "\n  vendor: " + string (VENDOR)
      + "\n  renderer: " + string (RENDERER)
      + "\n  version: " + string (VERSION)
      + "\n  extensions: " + string (EXTENSIONS);
  }