code: public static String getExecutorName(String name, String versionstamp) {
  		StringBuilder s = new StringBuilder(name);
  		s.append("$$E");
  		s.append(versionstamp);
  		return s.toString();
  	}
docs: Generate the name for the executor class. Must use '$' so that it is considered by some code (eclipse debugger
  for example) to be an inner type of the original class (thus able to consider itself as being from the same
  source file).
  
  @param name the name prefix for the executor class
  @param versionstamp the suffix string for the executor class name
  @return an executor class name