On 29 Jul 2015, at 16:16, Marcus Denker <marcus.denker@inria.fr> wrote:

Not known, but the whole #prepareDebuggerExample method is very strange. We should remove it.