public boolean isEqualWith(final CheckerError other) {
return getShortDesc().equals(other.getShortDesc())
&& getFullDesc().equals(other.getFullDesc())
&& getImportance() == other.getImportance()
&& getCheckerName().equals(other.getCheckerName())
&& getTraces().equals(other.getTraces());
}
@Override
public int compareTo(CheckerError other) {
return getImportance() - other.getImportance();
}