scope javaTokForJFind_array.

ifdef javaTokForJFind_array_simpleCache
  static HashMap<S, S[]> #cache = new HashMap;
endifdef
ifndef javaTokForJFind_array_simpleCache
  static Map<S, S[]> #cache = synchronizedMRUCache(1000);
endifndef

static S[] javaTokForJFind_array(S s) {
  S[] tok = cache.get(s);
  if (tok == null)
    cache.put(s, tok = codeTokensAsStringArray(jfind_preprocess(javaTok(s)));
  ret tok;
}

end scope