private static void append(StringBuilder sb, GraphicsDevice device) {
    append(sb, "id", device.getIDstring());
    append(sb, "type", getTypeName(device.getType()));
    append(sb, device.getDisplayMode());
    GraphicsConfiguration configuration = device.getDefaultConfiguration();
    append(sb, "outer", configuration.getBounds());
    append(sb, "inner", ScreenUtil.getScreenRectangle(configuration));
    append(sb, "default image", configuration.getImageCapabilities());
    BufferCapabilities capabilities = configuration.getBufferCapabilities();
    append(sb, "front buffer image", capabilities.getFrontBufferCapabilities());
    append(sb, "back buffer image", capabilities.getBackBufferCapabilities());
    sb.append("page flipping: ").append(capabilities.getFlipContents());
    if (capabilities.isFullScreenRequired()) {
      sb.append("; full-screen exclusive mode is required");
    }
    if (capabilities.isMultiBufferAvailable()) {
      sb.append("; more than two buffers can be used");
    }
    sb.append("\n");
  }
private static void append(StringBuilder sb, GraphicsDevice device)