ОК. Вот решение, которое я нашел, когда искал файл default.properies для ссылочного проекта (не для библиотеки) в моей файловой системе. Хотя ссылочный проект находился в том же рабочем пространстве Eclipse, что и проект библиотеки, фактические файлы находились где-то еще в файловой системе, т.е. они не находились в той же родительской папке проекта библиотеки. Как только я поместил ссылочный проект в ту же физическую папку, что и проект библиотеки, все прошло нормально.
Полагаю, это должно быть как-то связано с андроидом, использующим муравей под одеялом.
Редактировать: имя проекта должно соответствовать имени папки в файловой системе. То, что вы видите в Project Properties-> Android-> Library Reference, это относительный путь к файловой системе.