Fixer a typing incompatibility with java 6.