--- android/TrainInfo/src/dk/thoerup/traininfo/util/IntSet.java 2009/10/11 07:07:29 439 +++ android/TrainInfo/src/dk/thoerup/traininfo/util/IntSet.java 2009/10/11 07:18:56 440 @@ -31,6 +31,10 @@ return sb.toString(); } + public int size() { + return ints.size(); + } + public void fromString(String intStr) { ints.clear(); String parts[] = intStr.split(",");