Fix a possible Java 6 issue.