Я получил это на работу.
Я перестроил проект библиотеки, и в папке bin появился <libraryproject>.jar. Затем я удалил ссылку из проекта, которая использует <libraryproject>, и добавил ее так же, как и раньше.
Project properties -> Android -> в разделе «Библиотека» я добавил ссылку на <libraryproject>, и он создал Library Projects в текущем проекте, содержащем файл <libraryproject>.jar.
К счастью, во всех моих проектах библиотеки не было операторов переключения регистра, включающих идентификаторы ресурсов. Для тех из вас, кто не может заставить его работать сразу же, я бы предложил им перейти по ссылке, которую я разместил в Вопросе.