}
List<StackFrame> verboseStack = new ArrayList<StackFrame>(stack.size());
ClassInfo[] definingClass = new ClassInfo[1];
MethodInfo currentMethod = getMethod(classInfo, "main", "()V", definingClass);
for (StackEntry en : stack) {
Method method = new Method(currentMethod.getDefiningClass(), currentMethod.getDeclaration());
List<LabelInfo> labelInfos = currentMethod.getLabelInfos();
LabelInfo lf = labelInfos.size() >= en.jumpNo?
new LabelInfo(en.jumpNo, -1, Collections.<String>emptyList(), Collections.<Type>emptyList(), Collections.<Type>emptyList(), Collections.<Type>emptyList(), "INCOMPATIBLE_STACKINFO_OUTPUT_ABORTED", "()V")
:labelInfos.get(en.jumpNo);
StackFrame sf = new StackFrame(method, lf.getLineNo(), definingClass[0].getSourceCode());