# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1358881559 -3600
# Node ID 427e797ab18ee3095742ec6465e03f967f58a4fd
# Parent  44d92b44795142f595c9ec291544db47b8bad270
enabled use of formatter disabling/enabling tag (i.e. @formatter:off and @formatter:on)

diff -r 44d92b447951 -r 427e797ab18e mx/eclipse-settings/org.eclipse.jdt.core.prefs
--- a/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Tue Jan 22 20:04:42 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Tue Jan 22 20:05:59 2013 +0100
@@ -186,10 +186,13 @@
 org.eclipse.jdt.core.formatter.comment.indent_root_tags=true
 org.eclipse.jdt.core.formatter.comment.insert_new_line_before_root_tags=insert
 org.eclipse.jdt.core.formatter.comment.insert_new_line_for_parameter=do not insert
-org.eclipse.jdt.core.formatter.comment.line_length=120
+org.eclipse.jdt.core.formatter.comment.line_length=100
 org.eclipse.jdt.core.formatter.compact_else_if=true
 org.eclipse.jdt.core.formatter.continuation_indentation=4
 org.eclipse.jdt.core.formatter.continuation_indentation_for_array_initializer=4
+org.eclipse.jdt.core.formatter.disabling_tag=@formatter:off
+org.eclipse.jdt.core.formatter.enabling_tag=@formatter:on
+org.eclipse.jdt.core.formatter.use_on_off_tags=true
 org.eclipse.jdt.core.formatter.format_guardian_clause_on_one_line=false
 org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_annotation_declaration_header=true
 org.eclipse.jdt.core.formatter.indent_body_declarations_compare_to_enum_constant_header=true