Update java to 1.7.
Make github banner non clickable, fixes #21