|
@@ -22,7 +22,6 @@
|
22
|
22
|
package com.dmdirc.util.io;
|
23
|
23
|
|
24
|
24
|
import java.io.BufferedReader;
|
25
|
|
-import java.io.File;
|
26
|
25
|
import java.io.IOException;
|
27
|
26
|
import java.io.InputStream;
|
28
|
27
|
import java.io.InputStreamReader;
|
|
@@ -55,18 +54,6 @@ public class TextFile {
|
55
|
54
|
*/
|
56
|
55
|
private List<String> lines;
|
57
|
56
|
|
58
|
|
- /**
|
59
|
|
- * Creates a new instance of TextFile for the specified File, which is to be
|
60
|
|
- * read using the specified charset.
|
61
|
|
- *
|
62
|
|
- * @param file The file to read
|
63
|
|
- * @param charset The charset to read the file in
|
64
|
|
- * @since 0.6.3m1
|
65
|
|
- */
|
66
|
|
- public TextFile(final File file, final Charset charset) {
|
67
|
|
- this(file == null ? null : file.toPath(), charset);
|
68
|
|
- }
|
69
|
|
-
|
70
|
57
|
/**
|
71
|
58
|
* Creates a new instance of TextFile for the specified Path, which is to be
|
72
|
59
|
* read using the specified charset.
|