mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 00:29:58 +07:00
GitOrigin-RevId: 8b2b63fc6db476ca0c2cfe5cadd84db6c4236d0f
11 lines
281 B
Plaintext
11 lines
281 B
Plaintext
import java.io.*;
|
|
|
|
public class X {
|
|
void f(File file1, File file2) throws FileNotFoundException {
|
|
<spot>try</spot> (FileInputStream in = new FileInputStream(file1)) {
|
|
try (FileOutputStream out = new FileOutputStream(file2)) {
|
|
// do something
|
|
}
|
|
}
|
|
}
|
|
} |