--- a/jdk/src/share/classes/java/net/HttpCookie.java Wed Oct 23 15:03:49 2013 +0200
+++ b/jdk/src/share/classes/java/net/HttpCookie.java Wed Oct 23 14:38:22 2013 +0100
@@ -761,7 +761,7 @@
// from RFC 2068, token special case characters
//
// private static final String tspecials = "()<>@,;:\\\"/[]?={} \t";
- private static final String tspecials = ",;";
+ private static final String tspecials = ",; "; // deliberately includes space
/*
* Tests a string and returns true if the string counts as a token.