diff --git a/src/test/resources/driver/10f.java b/src/test/resources/driver/10f.java
index 1636e4ec..bb221703 100644
--- a/src/test/resources/driver/10f.java
+++ b/src/test/resources/driver/10f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // irrelevant loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/11f.java b/src/test/resources/driver/11f.java
index 9e232135..5d2ae7cd 100644
--- a/src/test/resources/driver/11f.java
+++ b/src/test/resources/driver/11f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // for loop with empty body
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/12f.java b/src/test/resources/driver/12f.java
index 8dcec627..9a81eeff 100644
--- a/src/test/resources/driver/12f.java
+++ b/src/test/resources/driver/12f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // for loop with empty body and condition
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/13f.java b/src/test/resources/driver/13f.java
index ad17d46a..e3ecfa4e 100644
--- a/src/test/resources/driver/13f.java
+++ b/src/test/resources/driver/13f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // do-while loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/14f.java b/src/test/resources/driver/14f.java
index 4833a817..60fe3c76 100644
--- a/src/test/resources/driver/14f.java
+++ b/src/test/resources/driver/14f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/15f.java b/src/test/resources/driver/15f.java
index 01fadc64..dcb7ceff 100644
--- a/src/test/resources/driver/15f.java
+++ b/src/test/resources/driver/15f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // try-catch nested with loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/16f.java b/src/test/resources/driver/16f.java
index ec4429c6..c9da6337 100644
--- a/src/test/resources/driver/16f.java
+++ b/src/test/resources/driver/16f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested try-catch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/17f.java b/src/test/resources/driver/17f.java
index 072bc0a0..31a67b32 100644
--- a/src/test/resources/driver/17f.java
+++ b/src/test/resources/driver/17f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // try-catch with empty catch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/18f.java b/src/test/resources/driver/18f.java
index dfcdc72e..218fe6f9 100644
--- a/src/test/resources/driver/18f.java
+++ b/src/test/resources/driver/18f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // try-catch with empty try
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/19f.java b/src/test/resources/driver/19f.java
index cc9b8729..d6158ec3 100644
--- a/src/test/resources/driver/19f.java
+++ b/src/test/resources/driver/19f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // branch with no else
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/1f.java b/src/test/resources/driver/1f.java
index aceb8ba7..c9a493df 100644
--- a/src/test/resources/driver/1f.java
+++ b/src/test/resources/driver/1f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // empty program
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/20f.java b/src/test/resources/driver/20f.java
index 2fae4301..59eb816e 100644
--- a/src/test/resources/driver/20f.java
+++ b/src/test/resources/driver/20f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // branch with else
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/21f.java b/src/test/resources/driver/21f.java
index 2c079553..1a166842 100644
--- a/src/test/resources/driver/21f.java
+++ b/src/test/resources/driver/21f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // branch with two conditions
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/22f.java b/src/test/resources/driver/22f.java
index 82491675..24250f79 100644
--- a/src/test/resources/driver/22f.java
+++ b/src/test/resources/driver/22f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested branch with empty else
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/23f.java b/src/test/resources/driver/23f.java
index 92d0f599..4d34ce59 100644
--- a/src/test/resources/driver/23f.java
+++ b/src/test/resources/driver/23f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested branch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/24f.java b/src/test/resources/driver/24f.java
index 1ea54022..ab57490d 100644
--- a/src/test/resources/driver/24f.java
+++ b/src/test/resources/driver/24f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested branch and loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/25f.java b/src/test/resources/driver/25f.java
index da2662bf..60fb0a5e 100644
--- a/src/test/resources/driver/25f.java
+++ b/src/test/resources/driver/25f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // nested branch, try-catch and loop
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/26f.java b/src/test/resources/driver/26f.java
index e2e1a5e2..c583603d 100644
--- a/src/test/resources/driver/26f.java
+++ b/src/test/resources/driver/26f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // internal method call
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/27f.java b/src/test/resources/driver/27f.java
index 7dd05d34..876628c9 100644
--- a/src/test/resources/driver/27f.java
+++ b/src/test/resources/driver/27f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // android
 import android.bluetooth.BluetoothSocket;
 
diff --git a/src/test/resources/driver/28f.java b/src/test/resources/driver/28f.java
index aac2a9a2..0aafe6eb 100644
--- a/src/test/resources/driver/28f.java
+++ b/src/test/resources/driver/28f.java
@@ -1,4 +1,20 @@
-// simple switch 
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
+// simple switch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
 import java.io.FileReader;
diff --git a/src/test/resources/driver/29f.java b/src/test/resources/driver/29f.java
index 8a8b13e5..ada7e01d 100644
--- a/src/test/resources/driver/29f.java
+++ b/src/test/resources/driver/29f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // three case switch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/2f.java b/src/test/resources/driver/2f.java
index d83913c3..3babe543 100644
--- a/src/test/resources/driver/2f.java
+++ b/src/test/resources/driver/2f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // only constructor, no public methods
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/30f.java b/src/test/resources/driver/30f.java
index 6b3f3593..2db2b804 100644
--- a/src/test/resources/driver/30f.java
+++ b/src/test/resources/driver/30f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // multiple statement switch
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/31f.java b/src/test/resources/driver/31f.java
index ee71f6f0..ae11e2ed 100644
--- a/src/test/resources/driver/31f.java
+++ b/src/test/resources/driver/31f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // javadoc
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/3f.java b/src/test/resources/driver/3f.java
index e8e08af1..f3b4b0d7 100644
--- a/src/test/resources/driver/3f.java
+++ b/src/test/resources/driver/3f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // constructor and public method
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/4f.java b/src/test/resources/driver/4f.java
index 9ffb8a68..a3b2390e 100644
--- a/src/test/resources/driver/4f.java
+++ b/src/test/resources/driver/4f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // empty constructor, only public method
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/5f.java b/src/test/resources/driver/5f.java
index c614b1da..ab194765 100644
--- a/src/test/resources/driver/5f.java
+++ b/src/test/resources/driver/5f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // no constructor, only public method
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/6f.java b/src/test/resources/driver/6f.java
index e50cd619..2ae09331 100644
--- a/src/test/resources/driver/6f.java
+++ b/src/test/resources/driver/6f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // constructor and two public methods
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/7f.java b/src/test/resources/driver/7f.java
index f86bd405..6496b1eb 100644
--- a/src/test/resources/driver/7f.java
+++ b/src/test/resources/driver/7f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // loop with empty body
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/8f.java b/src/test/resources/driver/8f.java
index 8688cc36..6a7b1e0f 100644
--- a/src/test/resources/driver/8f.java
+++ b/src/test/resources/driver/8f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // loop with irrelevant body
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/driver/9f.java b/src/test/resources/driver/9f.java
index 591373c9..84f794ff 100644
--- a/src/test/resources/driver/9f.java
+++ b/src/test/resources/driver/9f.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 // loop with relevant body
 import java.io.BufferedReader;
 import java.io.InputStreamReader;
diff --git a/src/test/resources/synthesizer/TestBluetooth.java b/src/test/resources/synthesizer/TestBluetooth.java
index 9c44998d..c39ecd5c 100644
--- a/src/test/resources/synthesizer/TestBluetooth.java
+++ b/src/test/resources/synthesizer/TestBluetooth.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 import android.bluetooth.BluetoothAdapter;
 
@@ -9,6 +25,6 @@ void readFromBluetooth(BluetoothAdapter adapter) {
             Evidence.apicalls("getInputStream");
             Evidence.types("BluetoothSocket");
         }
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestCamera.java b/src/test/resources/synthesizer/TestCamera.java
index 8d421d4d..ec62ee80 100644
--- a/src/test/resources/synthesizer/TestCamera.java
+++ b/src/test/resources/synthesizer/TestCamera.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 
 public class TestCamera {
@@ -9,6 +25,6 @@ void preview() {
             Evidence.apicalls("startPreview");
             Evidence.context("int");
         }
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestDialog.java b/src/test/resources/synthesizer/TestDialog.java
index e89439ff..d685e982 100644
--- a/src/test/resources/synthesizer/TestDialog.java
+++ b/src/test/resources/synthesizer/TestDialog.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 import android.content.Context;
 
@@ -10,6 +26,6 @@ void createDialog(Context c) {
             Evidence.apicalls("setTitle", "setMessage");
             Evidence.types("AlertDialog");
         }
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestIO1.java b/src/test/resources/synthesizer/TestIO1.java
index 5f0d9541..b8fdf4d7 100644
--- a/src/test/resources/synthesizer/TestIO1.java
+++ b/src/test/resources/synthesizer/TestIO1.java
@@ -1,9 +1,25 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 
 public class TestIO1 {
 
     void read(String file) {
         Evidence.apicalls("readLine");
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestIO2.java b/src/test/resources/synthesizer/TestIO2.java
index 19a2d176..e33501df 100644
--- a/src/test/resources/synthesizer/TestIO2.java
+++ b/src/test/resources/synthesizer/TestIO2.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 
 public class TestIO1 {
@@ -5,6 +21,6 @@ public class TestIO1 {
     void read(String file) {
         Evidence.apicalls("readLine");
         Evidence.context("String");
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestIO_exception.java b/src/test/resources/synthesizer/TestIO_exception.java
index 6bd34b50..cb9a724a 100644
--- a/src/test/resources/synthesizer/TestIO_exception.java
+++ b/src/test/resources/synthesizer/TestIO_exception.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 
 public class TestIO_exception {
@@ -8,6 +24,6 @@ void readWithErrorHandling() {
             Evidence.apicalls("readLine", "printStackTrace", "close");
             Evidence.context("String");
         }
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestSpeech.java b/src/test/resources/synthesizer/TestSpeech.java
index aea3b154..31fcd4bc 100644
--- a/src/test/resources/synthesizer/TestSpeech.java
+++ b/src/test/resources/synthesizer/TestSpeech.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 import android.content.Context;
 
@@ -8,6 +24,6 @@ void speechRecognition(Context context) {
             Evidence.types("SpeechRecognizer");
             Evidence.context("Context");
         }
-    }   
+    }
 
 }
diff --git a/src/test/resources/synthesizer/TestWifi.java b/src/test/resources/synthesizer/TestWifi.java
index 8cbf69bb..a08c6829 100644
--- a/src/test/resources/synthesizer/TestWifi.java
+++ b/src/test/resources/synthesizer/TestWifi.java
@@ -1,3 +1,19 @@
+/*
+Copyright 2017 Rice University
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+*/
+
 import edu.rice.cs.caper.bayou.annotations.Evidence;
 import android.net.wifi.WifiManager;
 
@@ -8,6 +24,6 @@ void scan(WifiManager manager) {
             Evidence.apicalls("startScan");
             Evidence.types("WifiManager");
         }
-    }   
+    }
 
 }