android: Cast to GL10 in getter, not callers

Better have a clear method signature than callers
relying on implementation details.

Change-Id: I4532f67aee8f8eac723401e43d3b6856ba37b346
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/159182
Tested-by: Jenkins
Reviewed-by: Michael Weghorn <m.weghorn@posteo.de>

2 files changed, 3 insertions, 3 deletions

diff --git a/android/source/src/java/org/mozilla/gecko/gfx/GLController.java b/android/source/src/java/org/mozilla/gecko/gfx/GLController.java
index 57ec2589b857..d31d84a51da9 100644
--- a/android/source/src/java/org/mozilla/gecko/gfx/GLController.java
+++ b/android/source/src/java/org/mozilla/gecko/gfx/GLController.java
@@ -84,7 +84,7 @@ public class GLController {
         }
     }
 
-    public GL getGL()                       { return mEGLContext.getGL(); }
+    public GL10 getGL() { return (GL10) mEGLContext.getGL(); }
     public EGLDisplay getEGLDisplay()       { return mEGLDisplay;         }
     public EGLConfig getEGLConfig()         { return mEGLConfig;          }
     public EGLContext getEGLContext()       { return mEGLContext;         }
diff --git a/android/source/src/java/org/mozilla/gecko/gfx/RenderControllerThread.java b/android/source/src/java/org/mozilla/gecko/gfx/RenderControllerThread.java
index a5b2ed79cbd3..5c74d56a004b 100644
--- a/android/source/src/java/org/mozilla/gecko/gfx/RenderControllerThread.java
+++ b/android/source/src/java/org/mozilla/gecko/gfx/RenderControllerThread.java
@@ -110,7 +110,7 @@ public class RenderControllerThread extends Thread implements LayerView.Listener
         }
         GLSurfaceView.Renderer renderer = getRenderer();
         if (renderer != null) {
-            renderer.onDrawFrame((GL10) controller.getGL());
+            renderer.onDrawFrame(controller.getGL());
         }
         controller.swapBuffers();
     }
@@ -118,7 +118,7 @@ public class RenderControllerThread extends Thread implements LayerView.Listener
     private void doSizeChanged() {
         GLSurfaceView.Renderer renderer = getRenderer();
         if (renderer != null) {
-            renderer.onSurfaceChanged((GL10) controller.getGL(), width, height);
+            renderer.onSurfaceChanged(controller.getGL(), width, height);
         }
     }