Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Allow compilation on Java 1.7 (otherwise source="1.6" requires bootst…
…rapping with the rt.jar from Java 1.6).
- Loading branch information