Bankruptcy judge: Detroit casino revenue protected