Re: [Jtimer-devel] JTimer et jredmine