Sets the jump point name.
public void setName( String n )
n
The new jump point name. This is the text that is assigned to a NAME attribute in HTML. For example, if n is "anchor2", the corresponding HTML anchor tag would be <A NAME="anchor2"></A>
WFCInvalidArgumentException thrown if n is null.
See Also getName