[jboss-user] [JBoss jBPM] - jbpm db update not necessary for 3.1.1 -> 3.1.3?