Fix compile error on older Java versions.