vString Pointer(vWindow win, String s) {
public vString Pointer(vWindow win, String s) {
vString Pointer(vWindow win, String s) {    if (s != null) {	vInteger i = (vInteger) plist.get(s);	if (i == null) {	    return null; /*FAIL*/	}	setCursor(Cursor.getPredefinedCursor((int)i.value));	pointer = s;    }    return vString.New(pointer);}