// gbufferedimage.setRGB(x, y, rgb);
  public void execute(TokenScanner paramTokenScanner, JavaBackEnd paramJavaBackEnd) {
    paramTokenScanner.verifyToken("(");
    String id = nextString(paramTokenScanner);
    paramTokenScanner.verifyToken(",");
    int x = nextInt(paramTokenScanner);
    paramTokenScanner.verifyToken(",");
    int y = nextInt(paramTokenScanner);
    paramTokenScanner.verifyToken(",");
    int rgb = nextInt(paramTokenScanner);
    paramTokenScanner.verifyToken(")");

    GObject gobj = paramJavaBackEnd.getGObject(id);
    if (gobj != null && gobj instanceof GBufferedImage) {
      GBufferedImage img = (GBufferedImage) gobj;
      img.setRGB(x, y, rgb);
    }
  }