Travis (Java 6) trips on this, but it can easily be written in the backward-compatible way.