Description Markus Keller 2004-05-25 12:08:04 EDT

I20040525-0800

- Have this in p/A.java:
<snip>
package p;

import java.util.HashMap;
import java.util.Vector;

class A {
	void method(Vector v, HashMap hm) {
		//- collapse imports fold
		//- add parameter ", Random r"
		//- set caret into "Random", Ctrl+Shift+M, Ctrl+Z
		//-> Undo is wrong!
	}
}
</snip>

- do the steps in the comments
-> result (not only in display; same after saving to disk):
<snip>
package p;

import java.util.HashMap;
import java.util.Random;
import java.util.Vector;

class A {
	void mor v, HashMap hm, Random r) {
		//- collapse imports fold
		//- add parameter ", Random r"
		//- set caret into "Random", Ctrl+Shift+M, Ctrl+Z
		//-> Undo is wrong!
	}
}
</snip>