Fixing compilation problems arising from Java 7 and overloading methods utilizing type erasure