eclipse-GIF-9