JsonObject.keys() returns JsonArray instead of String[]