# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1358881482 -3600
# Node ID 44d92b44795142f595c9ec291544db47b8bad270
# Parent  6bf569d509890c359f7b529d6346fa2870f4a452
removed name of shared formatter profile

diff -r 6bf569d50989 -r 44d92b447951 mx/eclipse-settings/org.eclipse.jdt.ui.prefs
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Tue Jan 22 17:46:40 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Tue Jan 22 20:04:42 2013 +0100
@@ -58,7 +58,6 @@
 comment_separate_root_tags=true
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_profile=_MaxineJavaCodeStyle
 formatter_settings_version=11
 org.eclipse.jdt.ui.exception.name=e
 org.eclipse.jdt.ui.gettersetter.use.is=true