Code used for the introductory tutorial for BMUnit which integrates Byteman into JUnit and TestNG