Cleaned up ReachingDefs.java code