Merge pull request #6 from yan12125/master

Fix compilation failure against JDK 7u65
This commit is contained in:
honfika
2014-08-27 09:52:34 +02:00
2 changed files with 11 additions and 5 deletions

View File

@@ -267,12 +267,12 @@ public class CommandLineArgumentParser {
double zoom = 1;
Selection selection = new Selection();
Selection selectionIds = new Selection();
String nextParam;
String nextParam = null, nextParamOriginal = null;
OUTER:
while (true) {
nextParam = args.remove();
if (nextParam != null) {
nextParam = nextParam.toLowerCase();
nextParamOriginal = args.remove();
if (nextParamOriginal != null) {
nextParam = nextParamOriginal.toLowerCase();
}
switch (nextParam) {
case "-selectid":
@@ -360,7 +360,7 @@ public class CommandLineArgumentParser {
printCmdLineUsage();
System.exit(0);
} else if (args.isEmpty()) {
return nextParam;
return nextParamOriginal; // file names should be the original one
} else {
badArguments();
}