RFR 8181841: A TSA server returns timestamp with precision higher than milliseconds

[Weijun Wang]

Please review this fix at

    http://cr.openjdk.java.net/~weijun/8181841/webrev.00

So I just ignore the extra digits. Do you think this is OK? It does mean 
different encodings might equal to each other.

Thanks
Max