[jboss-user] [JBoss Eclipse IDE (users)] - Re: how to select jre 1.5 with IDE beta 2.0?