diff --git a/com.ibm.wala.cast/source/c/jni/launch.cpp b/com.ibm.wala.cast/source/c/jni/launch.cpp
index c836a33b1..133686fa6 100644
--- a/com.ibm.wala.cast/source/c/jni/launch.cpp
+++ b/com.ibm.wala.cast/source/c/jni/launch.cpp
@@ -41,3 +41,7 @@ JNIEnv *launch_jvm(char *classpath) {
 void kill() {
    javaVM->DestroyJavaVM();
 }
+
+// Local variables:
+// c-basic-offset: 3
+// End: