Discontinued Operations (Tables)

3 Months Ended

Dec. 31, 2016

Discontinued Operations

Schedule of information for the discontinued coal cleaning business

		Three Months Ended
	December 31,
(in thousands)	2015		2016
Gain (loss) from discontinued operations before income taxes	$	(346)	$	243
Income tax benefit (provision)		130		(90)
Income (loss) from discontinued operations, net of income taxes	$	(216)	$	153