Added test for issue #494

Test failed for Pure Java.