[m-rev.] diff 3/3: [java] The thread pool now works when Mercury is used as

[Zoltan Somogyi]

On Tue, 16 Dec 2014 12:49:00 +1100, Paul Bone <paul at bone.id.au> wrote:
> I've been having trouble with typos since I had my eye surgery.  I'm not
> always seeing what I've typed so I don't notice.

I hope this doesn't come as news, but you always had problems
with typos. We all know your vision makes it hard to spot them.
Many others don't have that excuse. I was always disappointed
with how many typos I found in papers I reviewed for conferences,
especially when the authors were from English speaking countries :-(
They could have chosen to spellcheck their papers before submitting
them, but chose not to do so.

You may want to run spellcheck on your diffs before posting them.

Zoltan.