definition is unused
tweaks
java 7