Fixed bug when rerandomizing a problem in the library browser1 (a
comment, if present, was being killed) and moved a button in LB1.