# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1358946829 -3600
# Node ID 1d804095d4106b3d72e584eba70b5836e8f8c80f
# Parent  0763105fa02c3cbf94159fa5eb59779733552ec8
gave formatter profile the name "Graal"

diff -r 0763105fa02c -r 1d804095d410 mx/eclipse-settings/org.eclipse.jdt.ui.prefs
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Wed Jan 23 14:13:23 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Wed Jan 23 14:13:49 2013 +0100
@@ -58,7 +58,8 @@
 comment_separate_root_tags=true
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_settings_version=11
+formatter_profile=_Graal
+formatter_settings_version=12
 org.eclipse.jdt.ui.exception.name=e
 org.eclipse.jdt.ui.gettersetter.use.is=true
 org.eclipse.jdt.ui.ignorelowercasenames=true