Get rid of TagElement.java

It is no longer used