3 ms·

In the olden days, it was just out.flush(); out.close();