// System.out.println("COUNTER [KEYWORD]: " + counter);
if (boost != 0 && counter != 0) {
// result.setRank(result.getRank() * (boost/(float)counter));
result.setRank(result.getRank() * boost);
result.setRankComputed(true);
HistoryInfo hi = new HistoryInfoImpl(result.getURIAsString(),
HistoryInfoType.HIT_RESOURCE_RANK_UPDATED);
this.resultObject.addHistoryInfo(hi);
System.out.println("NEW RESULT RANK [KEYWORD]: " +result.getRank());
}
}