public static void toJson(StompServerOptions obj, JsonObject json) {
json.put("ackTimeout", obj.getAckTimeout());
if (obj.getHeartbeat() != null) {
json.put("heartbeat", obj.getHeartbeat());
}
<BUG>json.put("maxBodyLength", obj.getMaxBodyLength());
json.put("maxHeaderLength", obj.getMaxHeaderLength());</BUG>
json.put("maxHeaders", obj.getMaxHeaders());
json.put("secured", obj.isSecured());
json.put("sendErrorOnNoSubscriptions", obj.isSendErrorOnNoSubscriptions());

public static void toJson(StompServerOptions obj, JsonObject json) {
json.put("ackTimeout", obj.getAckTimeout());
if (obj.getHeartbeat() != null) {
json.put("heartbeat", obj.getHeartbeat());
}
json.put("maxBodyLength", obj.getMaxBodyLength());
json.put("maxFrameInTransaction", obj.getMaxFrameInTransaction());
json.put("maxHeaderLength", obj.getMaxHeaderLength());
json.put("maxHeaders", obj.getMaxHeaders());
json.put("secured", obj.isSecured());
json.put("sendErrorOnNoSubscriptions", obj.isSendErrorOnNoSubscriptions());
