Problem with 32-bit RXTX library?

I am teaching two students who are bringing their laptops into class how to use Arduino, and we are trying to use the Serial library to communicate with Processing. Unfortunately, these two students get the following errors:

java.lang.UnsatisfiedLinkError: C:\Users\user\processing-1.2.1\libraries\serial\library\rxtxSerial.dll: Can't load IA 32-bit .dll on a AMD 64-bit platform thrown while loading gnu.io.RXTXCommDriver
java.lang.UnsatisfiedLinkError: C:\Users\user\processing-1.2.1\libraries\serial\library\rxtxSerial.dll: Can't load IA 32-bit .dll on a AMD 64-bit platform
	at java.lang.ClassLoader$NativeLibrary.load(Native Method)
	at java.lang.ClassLoader.loadLibrary0(ClassLoader.java:1803)
	at java.lang.ClassLoader.loadLibrary(ClassLoader.java:1728)
	at java.lang.Runtime.loadLibrary0(Runtime.java:823)
	at java.lang.System.loadLibrary(System.java:1028)
	at gnu.io.CommPortIdentifier.<clinit>(CommPortIdentifier.java:83)
	at processing.serial.Serial.list(Unknown Source)
	at cc.arduino.Arduino.list(Arduino.java:139)
	at sketch_feb28a.setup(sketch_feb28a.java:58)
	at processing.core.PApplet.handleDraw(Unknown Source)
	at processing.core.PApplet.run(Unknown Source)
	at java.lang.Thread.run(Thread.java:662)
processing.app.debug.RunnerException: RuntimeException: Error inside Serial.ports()
	at processing.app.Sketch.placeException(Sketch.java:1543)
	at processing.app.debug.Runner.findException(Runner.java:582)
	at processing.app.debug.Runner.reportException(Runner.java:558)
	at processing.app.debug.Runner.exception(Runner.java:498)
	at processing.app.debug.EventThread.exceptionEvent(EventThread.java:367)
	at processing.app.debug.EventThread.handleEvent(EventThread.java:255)
	at processing.app.debug.EventThread.run(EventThread.java:89)
Exception in thread "Animation Thread" java.lang.RuntimeException: Error inside Serial.ports()
	at processing.serial.Serial.errorMessage(Unknown Source)
	at processing.serial.Serial.list(Unknown Source)
	at cc.arduino.Arduino.list(Arduino.java:139)
	at sketch_feb28a.setup(sketch_feb28a.java:58)
	at processing.core.PApplet.handleDraw(Unknown Source)
	at processing.core.PApplet.run(Unknown Source)
	at java.lang.Thread.run(Thread.java:662)

What can we do to fix this?

I know this is years later, but for anyone else reading this, the problem is most likely that you have your rxtxSerial dll in System32 (as if you were on a 32-bit machine) instead of sysWow64.

jayjey49:
I know this is years later, but for anyone else reading this, the problem is most likely that you have your rxtxSerial dll in System32 (as if you were on a 32-bit machine) instead of sysWow64.

RxTx seems to be last year's product. Use JSSC.

...R