Produced at JDK.