BTW: I put up a PPA of openjdk-7 for precise and trusty (other releases are possible) to test the very small code change that I think fixes this specific bug.
add-apt-repository ppa:rtandy/lp937200
Would be happy to hear whether this works well for others and whether it introduces any regressions.
BTW: I put up a PPA of openjdk-7 for precise and trusty (other releases are possible) to test the very small code change that I think fixes this specific bug.
add-apt-repository ppa:rtandy/lp937200
Would be happy to hear whether this works well for others and whether it introduces any regressions.