semantic/test/fixtures/java/corpus/String.B.java

public class Point {
  void dinosaur() {
    String gfg3 = String.format("%07d", num);
  }
}