* @return a char array containing all the data of that version
	 */
	public char[] getVersion( int version )
	{
		int length = 0;
		// measure the length
		for ( int i=0;i<pairs.size();i++ )
		{
			Pair p = pairs.get( i );
			if ( p.versions.nextSetBit(version)==version )
			{
				length += p.length();
			}
		}
		char[] result = new char[length];
		// now copy it
		int k,i;
		for ( k=0,i=0;i<pairs.size();i++ )
		{
			Pair p = pairs.get( i );
			if ( p.versions.nextSetBit(version)==version )
			{
				for ( int j=0;j<p.length();j++ )
					result[k++] = p.getChars()[j];
			}
		}
		return result;
	}