path: root/plugins/org.eclipse.net4j.util/.settings/org.eclipse.jdt.ui.prefs

#Mon Mar 13 08:16:19 CET 2006
comment_clear_blank_lines=false
comment_format_comments=false
comment_format_header=false
comment_format_html=true
comment_format_source_code=true
comment_indent_parameter_description=true
comment_indent_root_tags=true
comment_line_length=100
comment_new_line_for_parameter=true
comment_separate_root_tags=true
eclipse.preferences.version=1
formatter_settings_version=10
org.eclipse.jdt.ui.exception.name=ex
org.eclipse.jdt.ui.gettersetter.use.is=true
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=org.eclipse.net4j;org.eclipse.emf;org.eclipse;org.apache;org;com;java.lang;java.util;java.io;java.nio;java.net;java;javax;
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.ondemandthreshold=99