</BUG>
}
}
} else {
boolean droped = SPF.dropGuess(token);
<BUG>result = (droped ? "DROPED" : "NOT FOUND") + "\n";
</BUG>
}
SPF.storeGuess();
SPF.storeSPF();

TreeSet<String> guessSet = SPF.dropAllGuess();
if (guessSet.isEmpty()) {
result = "EMPTY\n";
} else {
for (String guess : guessSet) {
result += "DROPPED " + guess + "\n";
}
}
} else {
boolean droped = SPF.dropGuess(token);
result = (droped ? "DROPPED" : "NOT FOUND") + "\n";
}
SPF.storeGuess();
SPF.storeSPF();
