return new LibraryRef(array.get(index).getAsJsonObject());
}
};
}
public int getLivePorts() {
<BUG>return json.get("livePorts").getAsInt();
}</BUG>
public String getName() {
return json.get("name").getAsString();
}

return new LibraryRef(array.get(index).getAsJsonObject());
}
};
}
public int getLivePorts() {
return json.get("livePorts") == null ? -1 : json.get("livePorts").getAsInt();
}
public String getName() {
return json.get("name").getAsString();
}
