static S dropGlobalIDPrefix(S s) {
  L<S> tok = javaTok(s);
  if (eq(get(tok, 1), "[") && eq(get(tok, 5), "]") && possibleGlobalID(get(tok, 3)))
    ret join(subList(tok, 7));
  ret s;
}