#Thu Oct 13 09:49:50 CEST 2005
comment_clear_blank_lines=false
comment_format_comments=true
comment_format_header=true
comment_format_html=true
comment_format_source_code=true
comment_indent_parameter_description=true
comment_indent_root_tags=true
comment_line_length=80
comment_new_line_for_parameter=true
comment_separate_root_tags=true
eclipse.preferences.version=1
formatter_settings_version=9
internal.default.compliance=default
org.eclipse.jdt.ui.exception.name=e
org.eclipse.jdt.ui.gettersetter.use.is=true
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.overrideannotation=true