RELEASED: Public: 2014-05-12 New features None Resolved issues Fixing NullPointerException observed during shutdown. Known issues None