JGraphX, with faster MXE decoding