Fix #95845: undefined user agents

- Report simplified theme name on exception
- Restore publish coverage and site

Author: ron190

.github/workflows/build.yml

@@ -100,7 +100,7 @@ jobs:
 
       - name: Coverage and site
         uses: ./.github/workflows/publish-scan/
-        if: matrix.jdk == '3.8.6-eclipse-temurin-18'
+#        if: matrix.jdk == '3.8.6-eclipse-temurin-18'
         with:  # composite cannot use secrets directly
           CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
           CODACY_PROJECT_TOKEN: ${{ secrets.CODACY_PROJECT_TOKEN }}

model/src/main/java/com/jsql/util/GitUtil.java

@@ -101,7 +101,7 @@ public void sendUnhandledException(String threadName, Throwable throwable) {
             ),
             String.format(
                 "Display: %s (%sx%s, %s)",
-                UIManager.getLookAndFeel(),
+                UIManager.getLookAndFeel().getName(),
                 width,
                 height,
                 Locale.getDefault().getLanguage()

model/src/main/java/com/jsql/util/UserAgentUtil.java

@@ -1,8 +1,10 @@
 package com.jsql.util;
 
+import org.apache.commons.lang3.StringUtils;
+
 public class UserAgentUtil {
 
-    private String customUserAgent = null;
+    private String customUserAgent = StringUtils.EMPTY;
 
     public void withCustomUserAgent(String customUserAgent) {
         this.customUserAgent = customUserAgent;