K 10 svn:author V 6 davide K 8 svn:date V 27 2013-02-11T19:23:23.296224Z K 7 svn:log V 36 Merge head r236314 through r246684. END