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