在Tapestry中可以定义abstract访问方法，然后需要在property-specification标签中进行定义，想请问大家的是：
不明白为什么还需要定义type属性，因为这个type属性Tapestry应该可以很容易得到的啊，而且我最初认为type可以定义其子类型，后来实验发现不可以。比如：
Page class:
public abstract A getA();
public abstract void setA(A a);
假设B extends A
如果在Page def文件中这样定义：<property-specification name="a" type="B"/>，肯定会出错，那个type必须是A，不能定义成其子类，这样子感觉不太方便，大家有没有碰到或者说有类似这样定义的需求？