tree bd93e96a44f1d62c807d2a48bd6fc8ad21555179
parent fa7540f0531f4d7b85114b43dd18b503550b7235
author Dusan Kalanj <kalanj@chalmers.se> 1480081881 +0100
committer Jan-Philipp Steghöfer <ec@splashstudio.com> 1485529629 +0100

Office: added readable names to OfficeObjects in trace links
- Instead of with their contents, OfficeObjects are
now represented with a readable name in a trace.

Signed-off-by: Dusan Kalanj <kalanj@chalmers.se>