public static int f(JsonElement jsonelement, String s) {
if (jsonelement.isJsonPrimitive() && jsonelement.getAsJsonPrimitive().isNumber()) {
return jsonelement.getAsInt();
} else {
throw new JsonSyntaxException("Expected " + s + " to be a Int, was " + d(jsonelement));
}
}