public class CodeRef extends ObjRef {
public CodeRef(JsonObject json) {
super(json);
}
public CodeKind getKind() {
<BUG>return CodeKind.valueOf(json.get("kind").getAsString());
}</BUG>
public String getName() {
return json.get("name").getAsString();
}

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