if(size<0) { size = 0; }
	public static Font getFont( String family, int size, int style )	{		Font font = null;		String key = family				+ Integer.toString( size )				+ Integer.toString( style );		if ( JFaceResources.getFontRegistry( ).hasValueFor( key ) )		{			font = JFaceResources.getFontRegistry( ).get( key );		}		else		{			JFaceResources.getFontRegistry( ).put( key, new FontData[]{				new FontData( family, size, style )			} );			font = JFaceResources.getFontRegistry( ).get( key );		}		return font;	}