#8 double buffering

[Tom Downey]

Swing uses double buffering, so I removed or commented
out the JCM double buffering code. Need to take a
closer look at whether this is fine or will cause a
problem somewhere.