All,
It might be worth checking out the source documentation at:
http://ec.europa.eu/transport/air-ban/list_en.htm
This site contains not only the list of currenly sanctioned airlines/operators, but more important, the background on the whole 'banning' process.
Note that the current published list doesn't include Indonesian airlines, though I suspect it is in an annext to legislation, and has yet to be included in the printed list available at the site above.
Note also that airlines have the right to challenge the listing if they believe they are in full compliance with ICAO rules and regulations. I suspect Garuda will be quick to challenge.