plugins/org.eclipse.incquery.runtime.base/.settings/org.eclipse.core.resources.prefs

eclipse.preferences.version=1
encoding//src/org/eclipse/incquery/runtime/base/api/TransitiveClosureHelper.java=UTF-8