Hi, I moved the SNAPSHOT tag to revision 1431825. Means the next snapshot from the build bots include the renaming changes from Oliver.
Oliver is planning to change the version 3.5 to 4.0 next week and with this changes we should create a new developer snapshot build. Based on this I think some further and more intensive testing is probably a good idea to find and report problems regarding the renaming early. Juergen