}
void touchAJump(ProjectData data, String className, int lineNumber,
boolean whichBranch) {
ClassData cd = data.getClassData(className);
cd.touchJump(lineNumber, 0, whichBranch, 1);
}
void touchASwitch(ProjectData data, String className, int lineNumber,
int switchNumber) {
ClassData cd = data.getClassData(className);