static L tok_splitAtSpacedDashes_old(S s) { L tok = javaTok(s); new L l; int i = 1; while (i < l(tok)) { int j = smartIndexOfSpacedDash(tok, i); l.add(trimJoinSubList(tok, i, j)); i = j+2; } ret l; }