public class SourceLocation extends Response {
public SourceLocation(JsonObject json) {
super(json);
}
public int getEndTokenPos() {
<BUG>return json.get("endTokenPos").getAsInt();
}</BUG>
public ScriptRef getScript() {
return new ScriptRef((JsonObject) json.get("script"));
}

public class SourceLocation extends Response {
public SourceLocation(JsonObject json) {
super(json);
}
public int getEndTokenPos() {
return json.get("endTokenPos") == null ? -1 : json.get("endTokenPos").getAsInt();
}
public ScriptRef getScript() {
return new ScriptRef((JsonObject) json.get("script"));
}
