public LineReader(InputStream in) throws IOException { this(new InputStreamReader(in, ResourcesPlugin.getEncoding()));
public LineReader(InputStream in, String encoding) throws IOException { this(new InputStreamReader(in, encoding));
	public LineReader(InputStream in) throws IOException {		this(new InputStreamReader(in, ResourcesPlugin.getEncoding()));	}