Refinement now returns ArrayList<DBID> instead of HashMap<DBID, DoubleDistance> (was unnecessary)