if(as.firstDouble() > pte.getApproxScore()) { continue; } else { as.remove(as.firstDouble()); as.add(pte.getApproxScore()); as.add(pte.getApproxScore());
if(as.firstDouble() > pte.getApproxScore()) { continue; } else { as.remove(as.firstDouble()); as.add(pte.getApproxScore()); as.add(pte.getApproxScore());