Summary: FJSizeLimits {classLimit = 1, methodPerClassLimit = 0, fieldPerClassLimit = 0, variablePerMethodLimit = 0, expressionPerMethodComplexityLimit = 0} Number Programs: 9 Number TC Programs: 2 Summary: Num Safe Programs:9 Passes: 9