123456789101112
package com.google.testability_explorer.test.multi_format_output; import java.util.Date; public class A { public void doStuff() { Date date = new Date(); date.clone(); } }