>, <span name="verificationDate">verificationDate: <span class="extype" name="java.util.Date">Date</span></span>, <span name="bytecode">bytecode: <span class="extype" name="scala.Predef.String">String</span></span>, <span name="sourceCode">sourceCode: <span class="extype" name="scala.Predef.String">String</span></span>)</span><span class="result"> extends <span class="extype" name="scala.Product">Product</span> with <span class="extype" name="scala.Serializable">Serializable</span></span>
      </span>
    