1. Continued from Foreign Relations, 1947, vol. vi, pp. 890 1101. The Netherlands East Indies were renamed Indonesia in a revision of the Netherlands constitution on September 20, 1948 (see Department of State Bulletin, December 12, 1948, page 745).