Possible fix for possible bug in openjdk-1.7.0-25