RFR (2nd): 8015318: Extend Collector with 'finish' operation

[Henry Jen]

Hi,

An update from earlier request based on some feedbacks.

The webrev is at

http://cr.openjdk.java.net/~henryjen/ccc/8015318.1/webrev

This webrev depends on fix of bug 8012238[1]. Before that bug is fixed,
applies this patch[2] to add needed type information.

See the summary of API changes, specdiff is at

http://cr.openjdk.java.net/~henryjen/ccc/8015318.1/specdiff/overview-summary.html


[1] http://bugs.sun.com/view_bug.do?bug_id=8012238
[2] http://cr.openjdk.java.net/~henryjen/ccc/8015318.1/collector-hacks.patch

Cheers,
Henry