Merge pull request #1042 from clebertsuconic/master

just code format.. no changes
Fixing Deadlock found by QE as described on  https://bugzilla.redhat.com/show_bug.cgi?id=959616 and upgrade byteman to latest release