156157158159160161162
if (netspec.indexOf('/') == -1) { netspec += "/32768"; } return new Inet6Network(dnsService.getByName(netspec.substring(0, netspec.indexOf('/'))), new Integer(netspec.substring(netspec.indexOf('/') + 1))); }