correct TestRelEx.java