ded9e880b1
E-mail exchanged with Julian Dolby suggests that this is the right thing to do, and that it should have been done back when we converted other parts of the build configuration to Java 8. |
||
---|---|---|
.. | ||
.launchConfigurations | ||
.settings | ||
META-INF | ||
OSGI-INF/l10n | ||
src/com/ibm/wala/cast/java | ||
.classpath | ||
.cvsignore | ||
.project | ||
build.properties | ||
mvncentral.xml | ||
pom.xml |