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