bytemanproject/byteman — pull request #12 by belaban (2012-01-06 15:36:31+00:00)
Title: https://issues.jboss.org/browse/BYTEMAN-185

Hi Andrew,

please review and commit if approved.
Cheers, Bela