And then the appeals court who didn't know Java overturned his ruling.