modules/javafx.graphics/src/main/java/com/sun/prism/impl/PrismSettings.java

*** 54,63 ****
--- 54,64 ----
      public static final boolean useNewImageLoader;
      public static final List<String> tryOrder;
      public static final int prismStatFrequency;
      public static final boolean doNativePisces;
      public static final boolean useMarlinRasterizer;
+     public static final boolean useMarlinRasterizerDP;
      public static final String refType;
      public static final boolean forceRepaint;
      public static final boolean noFallback;
      public static final boolean showDirtyRegions;
      public static final boolean showOverdraw;
*** 213,223 ****
              }
          }
  
          tryOrder = Collections.unmodifiableList(Arrays.asList(tryOrderArr));
  
!         useMarlinRasterizer = getBoolean(systemProperties, "prism.marlinrasterizer", false);
          if (useMarlinRasterizer) {
              doNativePisces = false;
          } else {
              String npprop = systemProperties.getProperty("prism.nativepisces");
              if (npprop == null) {
--- 214,225 ----
              }
          }
  
          tryOrder = Collections.unmodifiableList(Arrays.asList(tryOrderArr));
  
!         useMarlinRasterizer   = getBoolean(systemProperties, "prism.marlinrasterizer", false);
!         useMarlinRasterizerDP = getBoolean(systemProperties, "prism.marlin.double", false);
          if (useMarlinRasterizer) {
              doNativePisces = false;
          } else {
              String npprop = systemProperties.getProperty("prism.nativepisces");
              if (npprop == null) {
*** 260,270 ****
              for (String s : tryOrder) {
                  System.out.print(s+" ");
              }
              System.out.println("");
              if (useMarlinRasterizer) {
!                 System.out.println("Using Marlin rasterizer");
              } else {
                  String piscestype = (doNativePisces ? "native" : "java");
                  System.out.println("Using " + piscestype + "-based Pisces rasterizer");
              }
              printBooleanOption(dirtyOptsEnabled, "Using dirty region optimizations");
--- 262,273 ----
              for (String s : tryOrder) {
                  System.out.print(s+" ");
              }
              System.out.println("");
              if (useMarlinRasterizer) {
!                 String prectype = (useMarlinRasterizerDP ? "double" : "float");
!                 System.out.println("Using Marlin rasterizer (" + prectype +')');
              } else {
                  String piscestype = (doNativePisces ? "native" : "java");
                  System.out.println("Using " + piscestype + "-based Pisces rasterizer");
              }
              printBooleanOption(dirtyOptsEnabled, "Using dirty region optimizations");