theJavaWarning    584 dmtcp_launch.cpp   static const char* theJavaWarning =
theJavaWarning    610 dmtcp_launch.cpp       JASSERT_STDERR << theJavaWarning;