if ( slice == -1 )
if ( slice == -1 ) {
  public void readHeader(Logger l)throws IOException{    String line;    try{      line=readLine();      StringTokenizer strTok=new StringTokenizer(line);      setCommand(strTok.nextToken());      target=strTok.nextToken();      version=strTok.nextToken();      //now read values      while(true){	line=readLine();	if(line==null)	  throw new Exception("Unexpected null line");	else if(line.equals("")){	  break;	}else{	  	  // Search for separating character	  int slice = line.indexOf(':');	  // Error if no separating character	  if ( slice == -1 )	    throw new Exception("Invalid HTTP header: " + line);	  else{	    // Separate at the slice character into name, value	    String name = line.substring(0,slice).trim();	    String value = line.substring(slice + 1).trim();	    parameters.put(name, value);	  }	}      }    }catch(Exception e){      l.logMessage(Logger.ERROR,Logger.WEB_IO,		   "Error while parsing HTTP header",e);    }  }