| #Fri Jun 11 01:35:26 CEST 2010 |
| eclipse.preferences.version=1 |
| org.eclipse.objectteams.otdt.compiler.option.scoped_keywords=enabled |
| org.eclipse.objectteams.otdt.compiler.problem.abstract_potential_relevant_role=warning |
| org.eclipse.objectteams.otdt.compiler.problem.adapting_deprecated=error |
| org.eclipse.objectteams.otdt.compiler.problem.ambiguous_lowering=warning |
| org.eclipse.objectteams.otdt.compiler.problem.basecall=warning |
| org.eclipse.objectteams.otdt.compiler.problem.binding_conventions=error |
| org.eclipse.objectteams.otdt.compiler.problem.decapsulation=warning |
| org.eclipse.objectteams.otdt.compiler.problem.deprecated_path_syntax=warning |
| org.eclipse.objectteams.otdt.compiler.problem.exception_in_guard=error |
| org.eclipse.objectteams.otdt.compiler.problem.fragile_callin=warning |
| org.eclipse.objectteams.otdt.compiler.problem.ignoring_role_return=warning |
| org.eclipse.objectteams.otdt.compiler.problem.inferred_callout=error |
| org.eclipse.objectteams.otdt.compiler.problem.override_final_role=error |
| org.eclipse.objectteams.otdt.compiler.problem.potential_ambiguous_playedby=warning |
| org.eclipse.objectteams.otdt.compiler.problem.unsafe_role_instantiation=warning |
| org.eclipse.objectteams.otdt.compiler.problem.weave_into_system_class=warning |