update to GTS to remove Java 7-specific feature