（省略） <%    //現在の日時をDateヘッダと同じ形式で表示する文字列を作成 java.text.SimpleDateFormat timeFormat = new java.text.SimpleDateFormat("EEE, dd MMM yyyy hh:mm:ss zzz", java.util.Locale.US); java.util.TimeZone zone = java.util.TimeZone.getTimeZone("GMT"); timeFormat.setTimeZone(zone); String currentTimeString = timeFormat.format(new java.util.Date());    //キャッシュ制御を「no-cache」と「no-store」にする    response.setHeader("Cache-Control","no-cache,no-store");    response.setHeader("Pragma","no-cache");    // Expiresヘッダを現在の日時にすることで、コンテンツの期限切れとし、    // 次回のリクエスト時は、キャッシュを読み込まないようにする    response.setHeader("Expires", currentTimeString); %> （省略）