Wed, Jun 19, 2013, 2:38 PM EDT - U.S. Markets close in 1 hr 22 mins
does that imply better government spending in first half of year? VMW's outlook was muted due to government spending