David van Moolenbroek 129adfeb53 Annotations and tweaks for live update
This change is necessary for instrumentation-aided state transfer.

Change-Id: I24be938009f02e302a15083f9a7a11824975e42b
2015-09-17 17:13:38 +00:00
..
2013-01-14 11:36:26 +01:00
2013-01-14 11:36:26 +01:00
2013-01-14 11:36:26 +01:00
2013-01-14 11:36:26 +01:00
2013-01-14 11:36:26 +01:00
2012-02-09 18:48:13 +01:00
2012-02-09 18:48:13 +01:00
2013-01-14 11:36:26 +01:00
2012-02-09 18:48:13 +01:00
2012-02-09 18:48:13 +01:00