Based on how much we had in that 3.1.3 release it probably should have been called 3.2 ... and probably our 3.2 should be called 4 since it jumps both Java and Java EE versions (5 to 6).
Too late to rename 3.1.3 to something more sensible, but maybe we should change trunk. Thoughts? -David
