ProGuard + tinylog again (Card-Forge#9976)

Author: tool4ever

forge-gui-android/proguard.cfg

@@ -45,7 +45,6 @@
 -dontwarn java.net.**
 -dontwarn java.nio.**
 -dontwarn java.io.**
--dontwarn org.slf4j.**
 -dontwarn javax.**
 -dontwarn module-info
 -dontwarn io.sentry.**
@@ -70,6 +69,8 @@
 # classes it considers unused, which removes the logging provider.
 -keep class org.tinylog.** { *; }
 
+-keep class org.slf4j.** { *; }
+
 -keep class forge.** { *; }
 -keep class com.thoughtworks.xstream.** { *; }
 -keep class org.apache.commons.lang3.** { *; }

forge-gui-android/src/forge/app/Main.java

@@ -162,9 +162,6 @@ public AndroidAudio createAudio(Context context, AndroidApplicationConfiguration
     @Override
     protected void onCreate(Bundle savedInstanceState) {
         super.onCreate(savedInstanceState);
-        // Register tinylog provider explicitly — the android-maven-plugin strips
-        // META-INF/services/ from dependency JARs, so ServiceLoader discovery fails.
-        org.tinylog.configuration.Configuration.set("provider", "org.tinylog.core.TinylogLoggingProvider");
         try {
             PackageInfo pInfo = getContext().getPackageManager().getPackageInfo(getContext().getPackageName(), 0);
             versionString = pInfo.versionName;