equal
deleted
inserted
replaced
1612 log.warning("proc.use.implicit"); |
1612 log.warning("proc.use.implicit"); |
1613 else |
1613 else |
1614 log.warning("proc.use.proc.or.implicit"); |
1614 log.warning("proc.use.proc.or.implicit"); |
1615 } |
1615 } |
1616 chk.reportDeferredDiagnostics(); |
1616 chk.reportDeferredDiagnostics(); |
|
1617 if (log.compressedOutput) { |
|
1618 log.mandatoryNote(null, "compressed.diags"); |
|
1619 } |
1617 } |
1620 } |
1618 |
1621 |
1619 /** Close the compiler, flushing the logs |
1622 /** Close the compiler, flushing the logs |
1620 */ |
1623 */ |
1621 public void close() { |
1624 public void close() { |