171172173174175176177178179180181
while (iter.hasNext()) { Entry<Number, TripleTable> next = iter.next(); TripleTable table = next.getValue(); if (table.isEmpty()) { predicates.remove(next.getKey()); table.drop(); iter.remove(); } table.close(); } }
167168169170171172173174175176177