tree c5f8081d0d841d323a159909b3dbbd2eefc5c929
parent 54c6bc653320e8c1a10db1597dc4852ce2b2609f
author Tatu Saloranta <tatu.saloranta@iki.fi> 1535432945 -0700
committer Tatu Saloranta <tatu.saloranta@iki.fi> 1535432945 -0700

Fix an issue with Java 7 compilation