tree 8b738c4b0e4b63ceec73aff2b4732ab69d1fa31a
parent 5190574201bd5ee798f81e8c4ecc3866b79ce398
author Andrew Eisenberg <andrew@eisenberg.as> 1354814177 -0800
committer Andrew Eisenberg <andrew@eisenberg.as> 1354814177 -0800

Fix for Bug 395960.

PDE builds on Java 1.7