Work-around for the problem that equals compares the identity of two arrays and not the elements of these arrays.
Initial check-in. Moved from lib/JavaBackend