final String[] stylesheetNames = getopt.getCmdArgs(); final Vector stylesheetVector = new Vector(); for (int i = 0; i < stylesheetNames.length; i++) {
final String[] stylesheetNames = getopt.getCmdArgs(); final Vector stylesheetVector = new Vector(); for (int i = 0; i < stylesheetNames.length; i++) {
final String[] stylesheetNames = getopt.getCmdArgs(); final Vector stylesheetVector = new Vector(); for (int i = 0; i < stylesheetNames.length; i++) {
final String[] stylesheetNames = getopt.getCmdArgs(); final Vector stylesheetVector = new Vector(); for (int i = 0; i < stylesheetNames.length; i++) {