int pnum = hint.getOutputPage() - 1;
if (!hints.containsKey(pnum)) {
hints.put(pnum, new ArrayList<Annotation>());
}
String line = String.valueOf(hint.getSourceLine());
Annotation ann = new Annotation(
hint.getY(),
line,
"Jump to source code, line " + line,
String.valueOf(line)
);