String name; File file = super.getScriptUriAsFile(request); if (file != null) { name = file.getName();
File file = super.getScriptUriAsFile(request); String name = file.getName(); if (!file.exists()) {
File file = super.getScriptUriAsFile(request); String name = file.getName(); if (!file.exists()) {
File file = super.getScriptUriAsFile(request); String name = file.getName(); if (!file.exists()) {
String name; File file = super.getScriptUriAsFile(request); if (file != null) { name = file.getName();