be more precise about java USE flags