} else if (loc instanceof Annotation) {
            location = ((Annotation) loc).getLocation();
        } else if (loc instanceof Location) {
            location = (Location) loc;
        }