Wrong maxLocals calculation in AnalyzerAdapter
maxLocals = Math.max(maxLocals, local);
it seems it should be maxLocals = Math.max(maxLocals, local + 1);
maxLocals = Math.max(maxLocals, local);
it seems it should be maxLocals = Math.max(maxLocals, local + 1);