global class ExecutionException extends Exception {
	global ExecutionException(String param0, Exception param1) { }
	global ExecutionException(Exception param0) { }
	global ExecutionException(String param0) { }
	global ExecutionException() { }
	global Object clone() { }
	global String getTypeName() { }

}