Minor improvements of Eclipse debugger UI