[jboss-jira] [JBoss JIRA] (JGRP-2424) TUNNEL: add port_range attribute