[java_closure.GIF]