1 files changed, 2 insertions, 2 deletions
diff --git a/sca-cpp/trunk/modules/java/java-shell.cpp b/sca-cpp/trunk/modules/java/java-shell.cpp
index 51df513990..d76fa8b45b 100644
--- a/sca-cpp/trunk/modules/java/java-shell.cpp
+++ b/sca-cpp/trunk/modules/java/java-shell.cpp
@@ -29,8 +29,8 @@
 #include "string.hpp"
 #include "driver.hpp"
 
-int main(const int argc, char** argv) {
-    tuscany::gc_scoped_pool pool;
+int main(const int argc, const char** const argv) {
+    const tuscany::gc_scoped_pool pool;
     if (argc != 2) {
         tuscany::cerr << "Usage: java-shell <class name>" << tuscany::endl;
         return 1;