Indonesisch geweld tgeen de burgerbevolking in West-Java, 1945-1949: een verkenning