Minor changes to the Java API of the HTTP core model