On Fri, 2012-08-17 at 17:15 +0200, Noel Grandin wrote: > Hi > > These patches remove various bits of dead code in the Java files. With one trivial change built and passed make check for me, pushed now C.