3 ms·

Whoops, I have fixed that cut-and-paste error. I hadn't noticed that the java code had another gratuitous difference.