scope javaTokForJFind_cached.

static Map<S, LS> #cache = synchronizedMRUCache(1000);

static LS javaTokForJFind_cached(S s) {
  LS tok = cache.get(s);
  if (tok == null)
    cache.put(s, tok = jfind_preprocess(javaTok(s)));
  ret tok;
}

end scope