ServletType s3 = makeServletType("c", -1);
checkOrdering(s1, s2, s3);
}
public void testIdenticalOrders() throws Exception {
ServletType s1 = makeServletType("a", 1);
ServletType s2 = makeServletType("b", 1);
ServletType s3 = makeServletType("c", 1);
checkOrdering(s1, s2, s3);
}