Een speciale eenheid van de Indonesische politie heeft zeven terroristen vermoord en dertien gearresteerd. De acties vonden plaats bij verschillende operaties op het eiland Java.