Push Java7Checker