我在tomcat 7中运行的java spring应用程序中设置了graniteds和gravity servlet。在web xml中：
<servlet-class>org.granite.gravity.servlet3.GravityAsyncServlet</servlet-class>
和一个 AMF 消息 servlet 类：
<servlet-class>org.granite.messaging.webapp.AMFMessageServlet</servlet-class>
和一个由 tomcat servlet 读取的 graniteConfig 类：
@ServerFilter
public class GraniteConfig
amf 消息传递效果很好。但重力 servlet 无法正确启动。我调试了 graniteds 库。这行代码不会通过
ServletGraniteConfig servletGraniteConfig = (ServletGraniteConfig)context.getAttribute(GRANITE_CONFIG_KEY);
（此代码来自 graniteDs Core 库）并且错误是：
java.lang.ClassCastException: org.granite.config.GraniteConfig cannot be cast to org.granite.config.ServletGraniteConfig
我不明白 GraniteConfig 对象是如何在 servletContext 属性而不是 ServletGraniteConfig 中设置的。以及我缺少花岗岩配置的哪一部分。