visible hairline for cursor, even on OpenJDK 11 (amending 2fd73a1a0937);

--- a/src/Tools/jEdit/src/syntax_style.scala	Thu Apr 11 16:51:44 2019 +0200
+++ b/src/Tools/jEdit/src/syntax_style.scala	Thu Apr 11 17:07:52 2019 +0200
@@ -87,7 +87,7 @@
       new_styles(hidden) =
         new SyntaxStyle(hidden_color, null,
           GUI.transform_font(new Font(font0.getFamily, 0, 1),
-            AffineTransform.getScaleInstance(1.0, font0.getSize.toDouble)))
+            AffineTransform.getScaleInstance(2.0, font0.getSize.toDouble)))
       new_styles(control) =
         new SyntaxStyle(style0.getForegroundColor, style0.getBackgroundColor,
           { val font_style =