public class ErrorRef extends ObjRef {
public ErrorRef(JsonObject json) {
super(json);
}
public ErrorKind getKind() {
<BUG>return ErrorKind.valueOf(json.get("kind").getAsString());
}</BUG>
public String getMessage() {
return json.get("message").getAsString();
}

public class ErrorRef extends ObjRef {
public ErrorRef(JsonObject json) {
super(json);
}
public ErrorKind getKind() {
String name = json.get("kind").getAsString();
try {
return ErrorKind.valueOf(name);
} catch (IllegalArgumentException e) {
return ErrorKind.Unknown;
}
}
public String getMessage() {
return json.get("message").getAsString();
