JOHN MANSVILLE CORPORATION