No. It was an infiniminer clone that he was making. Has never had anything to do with L4D.
I had some respect for Notch before he decided to make a company and somehow managed to *Can'tSayThisOnTV* the game up hardcore. Now he's left Jeb in charge of it, and Jeb's producing more quality content than I could've ever expected from Notch.