import jalview.util.ChannelProperties;
import jalview.util.ColorUtils;
import jalview.util.HttpUtils;
+import jalview.util.LaunchUtils;
import jalview.util.MessageManager;
import jalview.util.Platform;
import jalview.ws.sifts.SiftsSettings;
sb.append(" (");
sb.append(lafClass);
sb.append(")\n");
+ // pid() only available in Java 9+
+ if (LaunchUtils.getJavaVersion() > 8)
+ {
+ sb.append("Java Virtual Machine PID: ");
+ sb.append(ProcessHandle.current().pid());
+ sb.append("\n");
+ }
+
}
appendIfNotNull(sb, "Installer version: ",
System.getProperty("sys.install4jVersion"), "\n", null);