OffsetDateTime#parse() が "2017-01-02T12:34:56.001+0900" のような文字列を解析できないことに腹を立てたのでこのメモを書き殴った。反省するつもりはない。