public static final void gtk_file_chooser_set_filename(int  chooser, byte[] name) {
public static final void gtk_file_chooser_set_filename(int  chooser, int  name) {
public static final void gtk_file_chooser_set_filename(int /*long*/ chooser, byte[] name) {	lock.lock();	try {		_gtk_file_chooser_set_filename(chooser, name);	} finally {		lock.unlock();	}}