Greclipse 1522

Tests for the bug were written, the bug turned out to be already fixed.