在Android库项目中使用greendroid作为父库

Question

我有一个Android库项目（com.mylib），并希望将GreenDroid用作该项目中的库（com.myapp）。我的库有一些布局xmls，它使用绿色机器人提供的视图：

<greendroid.widget.PageIndicator
                android:id="@+id/page_indicator"
                style="@style/GreenDroid.Widget.PageIndicator"
                android:layout_width="match_parent"
                android:layout_height="wrap_content"
                android:layout_gravity="center_vertical|right"
                greendroid:dotType="single"
                greendroid:gravity="right" />

此代码在eclipse中不显示任何编译时错误。

但是当我将我的库作为android lib添加到任何其他项目时，它在错误控制台中显示错误：

No resource identifier found for attribute 'dotType' in package "com.myapp"
No resource identifier found for attribute 'gravity' in package "com.myapp"

PS：如果我将我的库项目转换为普通的Android应用程序，一切正常。只有当我将其更改为库项目时才会出现此问题。