asterix-gerrit.ics.uci.edu / asterixdb / 40c29696c49ae6b1052a80e3b1ee116a40c509f7 / hyracks-admin-console / .settings / org.eclipse.jdt.core.prefs