jdk build error

[Tim Bell]

Hi Neal:

> /home/gafter/jdk7/tl0.hgf/build/linux-i586/gensrc/java/nio/charset/CharsetEncoder.java:185: 
> cannot find symbol
> symbol  : class $replType$
> location: class java.nio.charset.CharsetEncoder
>                    $replType$ replacement)
>     

I believe this is the /bin/bash versus /bin/dash issue on recent release(s) of Ubuntu.

There are a couple of related bug IDs:

   http://bugs.sun.com/view_bug.do?bug_id=6681798
   https://bugs.launchpad.net/ubuntu/+source/dash/+bug/61463

Also this thread on build-dev (at) openjdk.java.net:

   http://mail.openjdk.java.net/pipermail/build-dev/2008-May/001047.html

The workaround (according to Martin) is 'sudo dpkg-reconfigure dash' and answer no

HTH - Tim