@@ -0,0 +1,467 @@
+package waveview.search;%0A%0A//%0A// This object is filled in during node evaluation to help optimize searching.%0A// The members represent the nearest timestamp where the return value of eval%0A// could change (using the same unit for timestamps as TransitionVector).%0A// Note that this doesn't guarantee the value will change (that's why it's only%0A// a hint), only that the node won't change at a closer timestamp.%0A//%0Aclass SearchHint %7B%0A    long forward;%0A    long backward;%0A%7D

Fix build