javac fails with SOE for this test case:
import java.util.Date;
public class CompilerIssue {
public static String TTCN3_spv_nos;
public static void main(String[] args) {
long currentTime = new Date().getTime();
TTCN3_spv_nos = new String("Hello world").concat(new String("Hello world").concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
.concat(new String("Hello world")
))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
))))))))))
)))))))))
;
System.out.println("Time elapsed = " + (new Date().getTime() - currentTime));
}
}