JPRS (series). 4407. Information on activities of Armed Forces of Indonesia, and of Indonesian rebels.