+ LOG ("init %s", hack);
+
+ this.glview.setEGLConfigChooser (8, 8, 8, 8, 16, 0);
+ this.glview.setRenderer (this);
+ this.glview.setRenderMode (GLSurfaceView.RENDERMODE_WHEN_DIRTY);
+ }
+
+ static public String saverNameOf (Object obj) {
+ // Extract the saver name from e.g. "gen.Daydream$BouncingCow"
+ String name = obj.getClass().getSimpleName();
+ int index = name.lastIndexOf('$');
+ if (index != -1) {
+ index++;
+ name = name.substring (index, name.length() - index);
+ }
+ return name.toLowerCase();