http://cr.openjdk.java.net/~twisti/6778669/webrev.00/ Finally the changeset I was waiting for was promoted into our forest. It would be a good idea if someone from e.g. RedHat or Ubuntu (Andrew or Matthias: hint! hint!) could try that patch before I push it. -- Christian