A JSON Patch implementation in Java