Tomcat怎么配置访问ejb的启动参数？？？

在Tomcat里面访问ejb要设置几个参数的：java.naming.factory.initial=org.jnp.interfaces.NamingContextFactory
java.naming.provider.url=jnp://127.0.0.1:1099
java.naming.factory.url.pkgs=org.jboss.naming:org.jnp.interfaces现在是我不想用property这样去设置，想直接在Tomcat启动的时候配置这个参数。
我也知道在eclipse里面双击Tomcat 有个open launch configuration arguments 里面可以配
还是就是在Tomcat的catalina.bat里面也可以配我就是忘了那几句话怎么写的了？？？