gitblit/gitblit — pull request #126 by davido (2013-12-02 20:13:48+00:00)
Title: Bump source and target level to java 7

Switch to Java 7 to use it syntax and features.