Reggae Mill closed, but other businesses at Devon House to remain open