Title: The public sector and industrial development in Sri Lanka