Developers, Due to problems in the most recent commit to the trunk, the current top of the trunk at revision 41970 will be reverted back to the previous version at revision 41632 this afternoon. Tom