RPMs for 1.3 Beta 1 are now available. Thanks to Henri Gomez for providing these. I'd appreciate it if some of the Linux users could give these a try and let me know if there are issues. Henri has identified some changes to support Jikes in the bootstrap build process which I will make in a while
Conor
