--- jikes-1.22/src/option.cpp.orig 2005-04-09 00:40:36.000000000 +0000 +++ jikes-1.22/src/option.cpp 2005-04-09 00:41:38.000000000 +0000 @@ -175,12 +175,12 @@ case INVALID_SOURCE_ARGUMENT: if (ENABLE_SOURCE_15) { - s << "\"-source\" only recognizes Java releases 1.3 (JLS 2 " + s << "\"-source\" only recognizes Java releases 1.2, 1.3 (JLS 2 " << "features), 1.4 (assert statement), and 1.5 (partial " << "support beta, see NEWS for supported features)."; break; } - s << "\"-source\" only recognizes Java releases 1.3 (JLS 2 features) " + s << "\"-source\" only recognizes Java releases 1.2, 1.3 (JLS 2 features) " << "and 1.4 (assert statement)."; break; case INVALID_TARGET_ARGUMENT: @@ -604,7 +604,9 @@ } // See below for setting the default. i++; - if (! strcmp(arguments.argv[i], "1.3")) + if (! strcmp(arguments.argv[i], "1.2")) + source = SDK1_2; + else if (! strcmp(arguments.argv[i], "1.3")) source = SDK1_3; else if (! strcmp(arguments.argv[i], "1.4")) source = SDK1_4;