Session editor now refreshes automatically.
SessionManager.getSessionStateTree() now returns a WeaveTreeItem.