Indonesia: EU ban on military and security exports to Jakarta must not be lifted, for now