// scans a Java construct (class, method) and checks its modifiers
static boolean hasModifier(L<S> tok, S modifier) {
  for (int i = 1; i < tok.size() && getJavaModifiers().contains(tok.get(i)); i += 2)
    if (tok.get(i).equals(modifier))
      return true;
  return false;
}