private static String extractSourceInfo(VariableSite site) { return " (" + site.file() + ":" + site.line() + ")"; }