quickfix for jdk 1.6
paul