JavaEye的论坛是用什么软件支持的？

这个论坛是用什么软件支持的，很帮，还可以格式化代码。太牛了。

例如

xml 代码

1. <filter>      
2.                <filter-name> controller </filter-name>      
3.                <filter-class> org.apache.struts.action2.dispatcher.FilterDispatcher </filter-class>    
4.        </filter>    
5.        <filter-mapping>      
6.                <filter-name> cotroller </filter-name>      
7.                <url-pattern> /* </url-pattern>    
8.        </filter-mapping>    

真是太棒了