# HG changeset patch
# User Christian Humer <christian.humer@gmail.com>
# Date 1395167629 -3600
# Node ID 918b0360bdb2289bb25541feeffa26bd5a6ab75e
# Parent  2e35f6eb8684395b9a0c02b63b329045bc89ab5b# Parent  90b43a808eb0dd0f82284a1ff6bfbb46f6cc6990
Merge.

diff -r 90b43a808eb0 -r 918b0360bdb2 graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionProcessor.java
--- a/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionProcessor.java	Tue Mar 18 18:02:45 2014 +0100
+++ b/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionProcessor.java	Tue Mar 18 19:33:49 2014 +0100
@@ -172,7 +172,7 @@
                 String declaringClass = option.declaringClass;
                 Name fieldName = option.field.getSimpleName();
                 String comma = i == info.options.size() - 1 ? "" : ",";
-                out.printf("            new %s(\"%s\", %s.class, \"%s\", %s.class, \"%s\", %s)%s%n", desc, name, type, help, declaringClass, fieldName, optionValue, comma);
+                out.printf("            new %s(\"%s\", %s.class, \"%s\", %s.class, \"%s\", %s)%s\n", desc, name, type, help, declaringClass, fieldName, optionValue, comma);
                 i++;
             }
             out.println("        );");