eclipse.preferences.version=1
org.eclipse.dltk.coretasks.case_sensitive=true
org.eclipse.dltk.coretasks.enabled=true
org.eclipse.dltk.coretasks.tags=FIXME;HIGH,TODO;NORMAL,XXX;NORMAL,@fixme;HIGH,@todo;NORMAL,@warning;NORMAL