Minor fix to work around an incompatiblity with IBM JDB 1.7