public void onSurfaceChanged(GL10 gl, int width, int height) {
   PicoGameJNI.init(width, height);
 }