public String toString()
	{
		StringBuffer sb = new StringBuffer();
		if ( states != null )
		{
			for ( int i=0;i<states.length;i++ )
			{
				sb.append( states[i].toString() );
				if ( i<states.length-1 )
					sb.append( "," );
			}
		}
		else
			sb.append("empty");
		return sb.toString();
	}