WebResourcePermission w1 = new WebResourcePermission("/", "!GET");
WebResourcePermission w2 = new WebResourcePermission("/", "!GET,POST");
System.err.println(">"+w1.implies(w2));
System.err.println(">"+w2.implies(w1));