OpenJDK7 sources with IcedTea patches