Инструменты SDK и ADT обновлены до версии 17, и теперь я получаю VerifyErrors

У меня есть проект, который ссылается на два библиотечных проекта. После обновления инструментов ADT и SDK до версии 17приложение аварийно завершает работу, как только встречается ссылка на класс, определенный в одном из проектов библиотеки. Ошибки, такие как:

Unable to resolve superclass of Lcom/my/package/name/MyActivity; (118)
Link of class 'Lcom/my/package/name/MyActivity;' failed
VFY: unable to find class referenced in signature (Lcom/my/package/name/MyActivity;)

и:

 FATAL EXCEPTION: main
  java.lang.VerifyError: my/package/name/util/SomeClass
    at my.package.name.App.onCreate(App.java:120)
    at android.app.Instrumentation.callApplicationOnCreate(Instrumentation.java:969)
    at android.app.ActivityThread.handleBindApplication(ActivityThread.java:3925)
    at android.app.ActivityThread.access$1300(ActivityThread.java:122)
    at android.app.ActivityThread$H.handleMessage(ActivityThread.java:1184)
    at android.os.Handler.dispatchMessage(Handler.java:99)
    at android.os.Looper.loop(Looper.java:137)
    at android.app.ActivityThread.main(ActivityThread.java:4340)
    at java.lang.reflect.Method.invokeNative(Native Method)
    at java.lang.reflect.Method.invoke(Method.java:511)
    at com.android.internal.os.ZygoteInit$MethodAndArgsCaller.run(ZygoteInit.java:784)
    at com.android.internal.os.ZygoteInit.main(ZygoteInit.java:551)
    at dalvik.system.NativeStart.main(Native Method)

(Мои пакеты и классы не названы так, я просто изменил их для размещения здесь)

Любые идеи о том, что здесь происходит? Насколько я могу судить, ошибок сборки нет, и мой проект выглядит так, как будто он правильно ссылается на проект библиотеки.