attempt to fix build. public api wasn't updated

Change-Id: I5afa7f20d60c1754e4d12318219af5a5861a85e0

diff --git a/api/current.txt b/api/current.txt
index 0dc87e8..95f5be8 100644 (file)
--- a/api/current.txt
+++ b/api/current.txt
@@ -12813,6 +12813,10 @@ package android.media {
     method public abstract void onPlaybackPositionUpdate(long);
   }
 
+  public final class ResourceBusyException extends android.media.MediaDrmException {
+    ctor public ResourceBusyException(java.lang.String);
+  }
+
   public class Ringtone {
     method public int getStreamType();
     method public java.lang.String getTitle(android.content.Context);