public SemanticError( DesignElement element, String[] values, String errCode )
public SemanticError( DesignElement element, String errCode )
	public SemanticError( DesignElement element, String[] values, String errCode )	{		super( element, values, errCode );	}