Make the distinction of javalib-ex a bit clearer.