tree 5faef28e77189419e5172895b5f5e4e41246d163
parent 389a55ec2af4440f866ce16fa89bdd6d6a539dff
author David Ostrovsky <david@ostrovsky.org> 1385708862 +0100
committer David Ostrovsky <david@ostrovsky.org> 1385708862 +0100

Bump java default source and target level to 7

Change-Id: Ibefd5cb16937868e737992e3ebf07ba19076654a