JAL-3224 JAL-3225 Added lines to check for updates to getdown-launcher.jar into Jalvi...
[jalview.git] / .settings / org.eclipse.jdt.core.prefs
index babbc21..e8b0ee7 100644 (file)
@@ -1,5 +1,5 @@
 #
-#Wed Apr 24 15:04:24 BST 2019
+#Thu Apr 25 01:57:42 BST 2019
 org.eclipse.jdt.core.formatter.insert_space_after_ellipsis=insert
 org.eclipse.jdt.core.formatter.insert_space_after_comma_in_enum_declarations=insert
 org.eclipse.jdt.core.formatter.insert_new_line_in_empty_annotation_declaration=insert
@@ -195,7 +195,6 @@ org.eclipse.jdt.core.formatter.insert_space_after_comma_in_method_declaration_pa
 org.eclipse.jdt.core.formatter.insert_new_line_after_type_annotation=do not insert
 org.eclipse.jdt.core.formatter.insert_space_after_opening_brace_in_array_initializer=insert
 org.eclipse.jdt.core.formatter.insert_space_before_opening_paren_in_parenthesized_expression=do not insert
-bentest=pomegranate
 org.eclipse.jdt.core.formatter.comment.format_html=true
 org.eclipse.jdt.core.formatter.insert_space_after_at_in_annotation_type_declaration=do not insert
 org.eclipse.jdt.core.formatter.insert_space_after_closing_angle_bracket_in_type_parameters=insert
@@ -241,6 +240,7 @@ org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_cast=do not i
 org.eclipse.jdt.core.formatter.comment.format_block_comments=false
 org.eclipse.jdt.core.formatter.insert_space_before_lambda_arrow=insert
 org.eclipse.jdt.core.formatter.insert_space_after_opening_paren_in_method_declaration=do not insert
+org.eclipse.jdt.core.compiler.problem.discouragedReference=warning
 org.eclipse.jdt.core.formatter.keep_imple_if_on_one_line=false
 org.eclipse.jdt.core.formatter.insert_space_before_opening_brace_in_enum_declaration=insert
 org.eclipse.jdt.core.formatter.alignment_for_parameters_in_method_declaration=16