Method: hasErrors(TypeCheckerUtil.TypeCheckResult)

ERROR: Error while reading the sourcefile!