Fix usage of Java6 API.