shell.addShellListener(new ShellAdapter()
{
public void shellClosed(ShellEvent e)
{
cancel();
<BUG>}
});
wScript.addKeyListener(new KeyAdapter()
{
public void keyReleased(KeyEvent e)
{
int linenr = wScript.getCaretLineNumber() + 1;
wlPosition.setText(Messages.getString("JobEval.LineNr.Label", Integer
.toString(linenr)));</BUG>
}

shell.addShellListener(new ShellAdapter()
{
public void shellClosed(ShellEvent e)
{
cancel();
}
