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