jep9547 documents