{"head":"9124b58fa6a327faeef34734cdba73abcab4986a","size":1,"push_id":44292416,"shas":[["9124b58fa6a327faeef34734cdba73abcab4986a","9f13214c0260b2a3e51a82e504c0e792487e0afa@antidot.net","Update of java file headers with licence and javadoc comments (@author).","Julien Homo"]],"ref":"refs/heads/master"}