Java implementation of JSON Pointer