Update to 13.0.2

Security: https://openjdk.java.net/groups/vulnerability/advisories/2020-01-14