如何在Java中找到符号glutPostRedisplay()？

import javax.media.opengl.*;
import com.sun.opengl.util.*;

import javax.media.opengl.*;
import com.sun.opengl.util.*;

public class MyRenderer implements GLEventListener {
    public void display(GLAutoDrawable drawable) {
        // 绘制OpenGL图形

        // 标记窗口需要重新绘制
        glutPostRedisplay();
    }

    // 其他GLEventListener接口方法的实现
    // ...
}

import javax.swing.*;
import javax.media.opengl.*;
import com.sun.opengl.util.*;

public class Main {
    public static void main(String[] args) {
        // 创建窗口
        JFrame frame = new JFrame("OpenGL Window");
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);

        // 创建GLCanvas对象
        GLCanvas canvas = new GLCanvas();
        canvas.addGLEventListener(new MyRenderer());

        // 将GLCanvas添加到窗口中
        frame.getContentPane().add(canvas);

        // 显示窗口
        frame.setSize(800, 600);
        frame.setVisible(true);
    }
}