public Object getOption(int optID) throws SocketException {
public synchronized Object getOption(int optID) throws SocketException {
    public Object getOption(int optID) throws SocketException {	if (optID == SocketOptions.SO_TIMEOUT) 	    return new Integer(receiveTimeout);	else	    throw new VM_UnimplementedError("JikesRVMSocketImpl.getOption");    }