presto-jmx/src/main/java/io/prestosql/plugin/jmx/JmxErrorCode.java/JmxErrorCode/JmxErrorCode
class JmxErrorCode:    JmxErrorCode(int code, ErrorType type)
    {
        errorCode = new ErrorCode(code + 0x0520_0000, name(), type);
    }