Manifesto Merge Tools: Replace Failure

I am using a library that uses its own android: theme and so I am getting the following error when building: Error: (55, 9) Execution completed for task ': contacit: processDebugManifest'.

Failed to merge manifest: Attribute app @ theme value = (@ style / Theme.MainTheme) from AndroidManifest.xml: 55: 9 is also present in com.github.florent37: materialviewpager: 1.0.3.2: 11:18 value = (@style / AppTheme) Suggestion: Add tools: replace = "android: theme" to AndroidManifest.xml element: 49: 5 to override

I changed my AndroidManifest.xml app like this:

<manifest xmlns:android="http://schemas.android.com/apk/res/android"
    xmlns:tools="http://schemas.android.com/tools"
    package="com.example.main"
    android:versionCode="19"
    android:versionName="2.5" >
...
    <application
        android:name="com.example.application.MainApplication"
        tools:replace="android:theme"
        android:allowBackup="true"
        android:icon="@drawable/logo_icon"
        android:label="@string/app_name"
        android:theme="@style/Theme.MainTheme"
        >
...

      

        
        
        
      

    

However, even though I used the attribute tools:replace

, I still get the same error from the merge Manifest. Any ideas why?