remove uppaal