static S javaTok_cached_s; static L javaTok_cached_l; static synchronized L javaTok_cached(S s) { if (neq(s, javaTok_cached_s)) javaTok_cached_l = javaTok(javaTok_cached_s = s); return javaTok_cached_l; }