Поскольку в некоторых случаях его можно сократить разными способами, в java API такой функции, вероятно, нет. Вы можете сделать вручную:
Inet6Address.getByName("1080::8:800:200C:417A").replaceFirst("(:0)+:", "::");
но я не очень хорошо это проверил. В некоторых случаях этот код неверен.