Index: trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java	(revision 5866)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java	(revision 5867)
@@ -97,5 +97,7 @@
                 if (line != null && !line.isEmpty()) {
                     line = line.replaceAll("\"+","");
-                    if(!line.isEmpty())
+                    if(line.startsWith("Linux ")) // e.g. Linux Mint
+                        return line;
+                    else if(!line.isEmpty())
                         return "Linux " + line;
                 }